SVGHMI: cosmetic change
authorEdouard Tisserant
Tue, 15 Nov 2022 09:29:48 +0100
changeset 3681 3da9a6e6fb19
parent 3680 20f9f0c36ad6
child 3682 c613afdab571
SVGHMI: cosmetic change
svghmi/svghmi.py
--- a/svghmi/svghmi.py	Tue Nov 15 09:22:50 2022 +0100
+++ b/svghmi/svghmi.py	Tue Nov 15 09:29:48 2022 +0100
@@ -650,8 +650,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")