diff options
author | Eddy Pedroni <epedroni@pm.me> | 2025-07-14 21:46:27 +0200 |
---|---|---|
committer | Eddy Pedroni <epedroni@pm.me> | 2025-07-14 21:46:27 +0200 |
commit | 90385e151543344b8894a17bedc31c1a2a01b5d1 (patch) | |
tree | b5e2c7b344b2c6fcda758006b2c5825d372ab9e3 /web-project | |
parent | d1123a87f1e985ac32507a0a3d0af0cc7a9a4f2b (diff) |
Change makefile to use pyproject web binary
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) |