src/server/worker_task.rs: make worker_is_active_local pub

This commit is contained in:
Dietmar Maurer 2020-05-29 08:05:10 +02:00
parent 750252ba2f
commit 77ebbefc1a
1 changed files with 1 additions and 1 deletions

View File

@ -72,7 +72,7 @@ pub async fn worker_is_active(upid: &UPID) -> Result<bool, Error> {
/// If the task is spanned from a different process, we simply return if /// If the task is spanned from a different process, we simply return if
/// that process is still running. This information is good enough to detect /// that process is still running. This information is good enough to detect
/// stale tasks... /// stale tasks...
fn worker_is_active_local(upid: &UPID) -> bool { pub fn worker_is_active_local(upid: &UPID) -> bool {
if (upid.pid == *MY_PID) && (upid.pstart == *MY_PID_PSTART) { if (upid.pid == *MY_PID) && (upid.pstart == *MY_PID_PSTART) {
WORKER_TASK_LIST.lock().unwrap().contains_key(&upid.task_id) WORKER_TASK_LIST.lock().unwrap().contains_key(&upid.task_id)
} else { } else {