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