diff options
Diffstat (limited to 'web-project')
| -rw-r--r-- | web-project/src/solo_tool_web.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/web-project/src/solo_tool_web.py b/web-project/src/solo_tool_web.py index 54b18de..181dde2 100644 --- a/web-project/src/solo_tool_web.py +++ b/web-project/src/solo_tool_web.py @@ -128,4 +128,11 @@ def landingPage(): for name, soloTool in sessions.items(): ui.button(name, on_click=partial(ui.navigate.to, f"/{name}")) -ui.run(binding_refresh_interval=0.5, port=int(sys.argv[1])) +def main(reload=False): + try: + ui.run(reload=reload, binding_refresh_interval=0.5, port=int(sys.argv[1])) + except KeyboardInterrupt: + pass + +if __name__ in {"__main__", "__mp_main__"}: + main(True) |