Support client restart without updating

This commit is contained in:
shortcutme 2018-07-10 03:28:02 +02:00
parent 77aa23a375
commit 5aab10fab2
No known key found for this signature in database
GPG key ID: 5B63BAE6CB9613AE
3 changed files with 17 additions and 16 deletions

View file

@ -960,7 +960,9 @@ class UiWebsocket(object):
res = sys.modules["main"].file_server.openport()
self.response(to, res)
def actionServerShutdown(self, to):
def actionServerShutdown(self, to, restart=False):
if restart:
sys.modules["main"].restart_after_shutdown = True
sys.modules["main"].file_server.stop()
sys.modules["main"].ui_server.stop()