Work around for servers not shutting down on crafty shutdown

This commit is contained in:
Andrew 2022-02-26 22:09:59 -05:00
parent 8826ba2c91
commit 211214a38a

View File

@ -118,7 +118,7 @@ class TasksManager:
def _main_graceful_exit(self): def _main_graceful_exit(self):
try: try:
os.remove(helper.session_file) os.remove(helper.session_file)
os.remove(os.path.join(helper.root_dir, '.header')) #os.remove(os.path.join(helper.root_dir, '.header'))
self.controller.stop_all_servers() self.controller.stop_all_servers()
except: except:
logger.info("Caught error during shutdown", exc_info=True) logger.info("Caught error during shutdown", exc_info=True)