equal
deleted
inserted
replaced
653 |
653 |
654 browser_proc = None |
654 browser_proc = None |
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 watchdog_proc = {svghmi_cmds[Watchdog]} |
659 waitpid_timeout(restart_proc, "SVGHMI watchdog triggered command") |
659 waitpid_timeout(watchdog_proc, "SVGHMI watchdog triggered command") |
660 stop_proc = {svghmi_cmds[Stop]} |
660 stop_proc = {svghmi_cmds[Stop]} |
661 waitpid_timeout(stop_proc, "SVGHMI stop command") |
661 waitpid_timeout(stop_proc, "SVGHMI stop command") |
662 waitpid_timeout(browser_proc, "SVGHMI browser process") |
662 waitpid_timeout(browser_proc, "SVGHMI browser process") |
663 browser_proc = {svghmi_cmds[Start]} |
663 browser_proc = {svghmi_cmds[Start]} |
664 |
664 |