From 77ebbefc1a3a692dc70ad26fae468051d32b22cd Mon Sep 17 00:00:00 2001 From: Dietmar Maurer Date: Fri, 29 May 2020 08:05:10 +0200 Subject: [PATCH] src/server/worker_task.rs: make worker_is_active_local pub --- src/server/worker_task.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/server/worker_task.rs b/src/server/worker_task.rs index c9ca8f52..eb478906 100644 --- a/src/server/worker_task.rs +++ b/src/server/worker_task.rs @@ -72,7 +72,7 @@ pub async fn worker_is_active(upid: &UPID) -> Result { /// 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 /// 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) { WORKER_TASK_LIST.lock().unwrap().contains_key(&upid.task_id) } else {