terrazzo-terminal 0.2.7

A simple web-based terminal emulator built on Terrazzo.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

use std::path::Path;
use std::sync::Arc;

use nameth::NamedEnumValues as _;
use nameth::nameth;
use nix::errno::Errno;
use nix::sys::signal;
use nix::sys::signal::Signal;
use nix::unistd::Pid;

use super::pidfile::DeletePidfileError;
use super::pidfile::ReadPidfileError;
use super::server::ServerConfig;

impl ServerConfig {
    pub fn kill(&self) -> Result<(), KillServerError> {
        let pid = self
            .read_pid()?
            .ok_or_else(|| KillServerError::PidfileNotFound {
                pidfile: self.pidfile.clone(),
            })?;

        let result = kill_aux(pid);
        self.delete_pidfile()?;
        return result;
    }
}

fn kill_aux(pid: i32) -> Result<(), KillServerError> {
    signal::kill(Pid::from_raw(pid), Signal::SIGKILL)
        .map_err(|errno| KillServerError::KillError { pid, errno })
}

#[nameth]
#[derive(thiserror::Error, Debug)]
pub enum KillServerError {
    #[error("[{n}] {0}", n = self.name())]
    ReadPidfile(#[from] ReadPidfileError),

    #[error("[{n}] Pid file '{pidfile}' not found", n = self.name())]
    PidfileNotFound { pidfile: Arc<Path> },

    #[error("[{n}] {0}", n = self.name())]
    DeletePidfile(#[from] DeletePidfileError),

    #[error("[{n}] Failed to kill process {pid}: {errno}", n = self.name())]
    KillError { pid: i32, errno: Errno },
}