svghmi/svghmi.py
branchwxPython4
changeset 3665 db7e4952b64f
parent 3657 e0d6f5f0dcc2
parent 3662 364f2409eeda
child 3688 c2992796a859
--- a/svghmi/svghmi.py	Fri Nov 04 22:14:14 2022 +0100
+++ b/svghmi/svghmi.py	Wed Nov 09 12:30:45 2022 +0100
@@ -657,8 +657,10 @@
     global browser_proc
     restart_proc = {svghmi_cmds[Watchdog]}
     waitpid_timeout(restart_proc, "SVGHMI watchdog triggered command")
+    stop_proc = {svghmi_cmds[Stop]}
+    waitpid_timeout(stop_proc, "SVGHMI stop command")
     waitpid_timeout(browser_proc, "SVGHMI browser process")
-    browser_proc = None
+    browser_proc = {svghmi_cmds[Start]}
 
 max_svghmi_sessions = {maxConnections_total}