equal
deleted
inserted
replaced
648 |
648 |
649 browser_proc = None |
649 browser_proc = None |
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 watchdog_proc = {svghmi_cmds[Watchdog]} |
654 waitpid_timeout(restart_proc, "SVGHMI watchdog triggered command") |
654 waitpid_timeout(watchdog_proc, "SVGHMI watchdog triggered command") |
655 stop_proc = {svghmi_cmds[Stop]} |
655 stop_proc = {svghmi_cmds[Stop]} |
656 waitpid_timeout(stop_proc, "SVGHMI stop command") |
656 waitpid_timeout(stop_proc, "SVGHMI stop command") |
657 waitpid_timeout(browser_proc, "SVGHMI browser process") |
657 waitpid_timeout(browser_proc, "SVGHMI browser process") |
658 browser_proc = {svghmi_cmds[Start]} |
658 browser_proc = {svghmi_cmds[Start]} |
659 |
659 |