diff options
Diffstat (limited to 'src/scheduler.h')
| -rw-r--r-- | src/scheduler.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scheduler.h b/src/scheduler.h index 0365d668b2..cc2f01f2ff 100644 --- a/src/scheduler.h +++ b/src/scheduler.h @@ -81,7 +81,7 @@ private: int nThreadsServicingQueue; bool stopRequested; bool stopWhenEmpty; - bool shouldStop() { return stopRequested || (stopWhenEmpty && taskQueue.empty()); } + bool shouldStop() const { return stopRequested || (stopWhenEmpty && taskQueue.empty()); } }; /** |