Function unregister

crates/openshell-supervisor-process/src/managed_children.rs:35–45

Remove `pid` from the supervised-child set. Non-positive or out-of-range values are silently ignored.

(pid: u32)

/// Remove `pid` from the supervised-child set. Non-positive or out-of-range
/// values are silently ignored.
pub fn unregister(pid: u32) {
    let Ok(pid) = i32::try_from(pid) else {
        return;
    };
    if pid <= 0 {
        return;
    }
    if let Ok(mut children) = MANAGED_CHILDREN.lock() {
        children.remove(&pid);
    }
}

/// Return `true` if `pid` is currently in the supervised-child set.
#[must_use]