Index: scheduler/monitor_db.py |
diff --git a/scheduler/monitor_db.py b/scheduler/monitor_db.py |
index d0cf46e273b1f544a37a6cdc51ac24d0abffea6a..556eb1747b04173f167bfda8287b7f6af60541f1 100755 |
--- a/scheduler/monitor_db.py |
+++ b/scheduler/monitor_db.py |
@@ -159,7 +159,7 @@ def main_without_exception_handling(): |
dispatcher = Dispatcher() |
dispatcher.initialize(recover_hosts=options.recover_hosts) |
- while not _shutdown: |
+ while not _shutdown and not server._shutdown_scheduler: |
dispatcher.tick() |
time.sleep(scheduler_config.config.tick_pause_sec) |
except: |