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