1 2//! Removes a completed PID from the registry. 3 4pub fn Fn(OperationId:&str) { 5 if OperationId.is_empty() { 6 return; 7 } 8 9 if let Ok(mut Map) = super::running_processes().lock() { 10 Map.remove(OperationId); 11 } 12}