# HG changeset patch
# User Edouard Tisserant
# Date 1667901755 -3600
# Node ID 364f2409eeda569cffaa4ce4c93987048683c4bd
# Parent  62860665fa94e14c68da7985cbaa47ebb8de988c
SVGHMI: watchdog now calls OnStart and OnStop commands just after calling OnWatchdog. Therefore, OnWatchdog command should not restart browser by itself.

diff -r 62860665fa94 -r 364f2409eeda svghmi/svghmi.py
--- 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}