From fa609c4f76f215c19ea4021e78c102dee2b8c3d1 Mon Sep 17 00:00:00 2001 From: MarcoFalke Date: Thu, 28 May 2020 08:04:40 -0400 Subject: [PATCH] scheduler: Remove unused REVERSE_LOCK No longer needed after commit d61f2bb076d8f --- src/scheduler.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/scheduler.cpp b/src/scheduler.cpp index c4bd47310b7..8f69bc31bf0 100644 --- a/src/scheduler.cpp +++ b/src/scheduler.cpp @@ -30,9 +30,6 @@ void CScheduler::serviceQueue() // is called. while (!shouldStop()) { try { - if (!shouldStop() && taskQueue.empty()) { - REVERSE_LOCK(lock); - } while (!shouldStop() && taskQueue.empty()) { // Wait until there is something to do. newTaskScheduled.wait(lock);