2022-02-28 08:54:41 -06:00
|
|
|
//! Platform agnostic process
|
|
|
|
|
|
|
|
/// A process ID
|
|
|
|
pub type PID = u64;
|
2022-03-16 05:39:01 -05:00
|
|
|
|
|
|
|
/// Signals that can be sent to a process
|
2022-04-11 17:23:11 -05:00
|
|
|
#[repr(C)]
|
2022-03-16 05:39:01 -05:00
|
|
|
pub enum Signals {
|
|
|
|
/// Terminate the process
|
|
|
|
Terminate,
|
2022-04-11 17:23:11 -05:00
|
|
|
|
2022-03-16 05:39:01 -05:00
|
|
|
/// Shutdown the process and allow it to shutdown cleanly
|
|
|
|
Quit,
|
|
|
|
}
|