| 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:
|
|
|