svghmi/svghmi.py
changeset 3662 364f2409eeda
parent 3647 7c427418396f
child 3665 db7e4952b64f
child 3681 3da9a6e6fb19
--- a/svghmi/svghmi.py	Tue Nov 08 11:00:42 2022 +0100
+++ b/svghmi/svghmi.py	Tue Nov 08 11:02:35 2022 +0100
@@ -652,8 +652,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}