# HG changeset patch
# User Edouard Tisserant
# Date 1668500988 -3600
# Node ID 3da9a6e6fb191b7d9f5a159527563cc6ca71e424
# Parent  20f9f0c36ad681091696d418f01bd74cd9ada44c
SVGHMI: cosmetic change

diff -r 20f9f0c36ad6 -r 3da9a6e6fb19 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")