equal
deleted
inserted
replaced
650 |
650 |
651 def svghmi_{location}_watchdog_trigger(): |
651 def svghmi_{location}_watchdog_trigger(): |
652 global browser_proc |
652 global browser_proc |
653 restart_proc = {svghmi_cmds[Watchdog]} |
653 restart_proc = {svghmi_cmds[Watchdog]} |
654 waitpid_timeout(restart_proc, "SVGHMI watchdog triggered command") |
654 waitpid_timeout(restart_proc, "SVGHMI watchdog triggered command") |
|
655 stop_proc = {svghmi_cmds[Stop]} |
|
656 waitpid_timeout(stop_proc, "SVGHMI stop command") |
655 waitpid_timeout(browser_proc, "SVGHMI browser process") |
657 waitpid_timeout(browser_proc, "SVGHMI browser process") |
656 browser_proc = None |
658 browser_proc = {svghmi_cmds[Start]} |
657 |
659 |
658 max_svghmi_sessions = {maxConnections_total} |
660 max_svghmi_sessions = {maxConnections_total} |
659 |
661 |
660 def _runtime_{location}_svghmi_start(): |
662 def _runtime_{location}_svghmi_start(): |
661 global svghmi_watchdog, svghmi_servers, browser_proc |
663 global svghmi_watchdog, svghmi_servers, browser_proc |