git_policy_cli/process/
mod.rs

1//! What:
2//!  Processes:
3//!  identities,
4//!  trees,
5//!  sockets,
6//!  signals and quiet-time ledgers.
7//! Why:
8//!  The facts about processes are shared by locks and pushes.
9//!
10//! In TS you'd write (pseudocode):
11//! ```ts
12//! // process/index.ts: one `export * from './file'` per module below.
13//! ```
14
15/// The longest quiet gap of every Git step and tool this process ran, kept until a timing record takes it.
16pub mod quiet_ledger;
17
18/// Whether a thread of this process is at work, and the clock that says when it has been quiet for a window.
19pub mod thread_quiet;
20
21/// The PID namespace an owner record names, and the rule for owners of another one.
22pub mod pid_namespace;
23
24/// Process-birth identities in the incumbent's exact spelling.
25pub mod process_identity;
26
27/// Process start times for lock owners,
28///  read from `/proc`,
29///  `ps` or the Windows process table.
30pub mod process_start;
31
32/// Catching SIGINT, SIGTERM, SIGHUP and SIGQUIT while a Git child runs, and relaying only process-sent signals.
33pub mod signal_relay;
34
35/// The processes of this host that use a directory or a file.
36pub mod process_use;
37
38/// The processes below one process, read before it is stopped and signalled only while they are still the ones found.
39pub mod process_tree;
git_policy_cli/process/mod.rs

git_policy_cli/process/
mod.rs
