equal
deleted
inserted
replaced
606 </body> |
606 </body> |
607 </html> |
607 </html> |
608 """) |
608 """) |
609 target_file.close() |
609 target_file.close() |
610 |
610 |
|
611 # In case no SVG is given, watchdog is useless |
|
612 svghmi_options["enable_watchdog"] = False |
|
613 |
611 res += ((target_fname, open(target_path, "rb")),) |
614 res += ((target_fname, open(target_path, "rb")),) |
612 |
615 |
613 svghmi_cmds = {} |
616 svghmi_cmds = {} |
614 for thing in ["Start", "Stop", "Watchdog"]: |
617 for thing in ["Start", "Stop", "Watchdog"]: |
615 given_command = self.GetParamsAttributes("SVGHMI.On"+thing)["value"] |
618 given_command = self.GetParamsAttributes("SVGHMI.On"+thing)["value"] |