svghmi/svghmi.py
branchwxPython4
changeset 3688 c2992796a859
parent 3665 db7e4952b64f
parent 3681 3da9a6e6fb19
child 3750 f62625418bff
--- a/svghmi/svghmi.py	Sun Nov 20 18:36:13 2022 +0100
+++ b/svghmi/svghmi.py	Wed Nov 23 14:18:25 2022 +0100
@@ -655,8 +655,8 @@
 
 def svghmi_{location}_watchdog_trigger():
     global browser_proc
-    restart_proc = {svghmi_cmds[Watchdog]}
-    waitpid_timeout(restart_proc, "SVGHMI watchdog triggered command")
+    watchdog_proc = {svghmi_cmds[Watchdog]}
+    waitpid_timeout(watchdog_proc, "SVGHMI watchdog triggered command")
     stop_proc = {svghmi_cmds[Stop]}
     waitpid_timeout(stop_proc, "SVGHMI stop command")
     waitpid_timeout(browser_proc, "SVGHMI browser process")