Docker setup
This commit is contained in:
1 parent
65d1092898
commit
67ecf3b8d7
7 files changed
+75
-7
No files matched your search
@@ -187,7 +187,8 @@ if __name__ == "__main__":
|
||||
client.gui.status.update(_("gui", "status", "terminated"))
|
||||
# notify the user about the closure
|
||||
client.gui.grab_attention(sound=True)
|
||||
await client.gui.wait_until_closed()
|
||||
# Docker: do not wait until close so docker can recognize the exit and restart
|
||||
# await client.gui.wait_until_closed()
|
||||
# save the application state
|
||||
# NOTE: we have to do it after wait_until_closed,
|
||||
# because the user can alter some settings between app termination and closing the window
|
||||
|
||||
Reference in new issue
Block a user