equal
deleted
inserted
replaced
623 s4o.print(";\n"); |
623 s4o.print(";\n"); |
624 } |
624 } |
625 s4o.indent_left(); |
625 s4o.indent_left(); |
626 s4o.print(s4o.indent_spaces + "}\n"); |
626 s4o.print(s4o.indent_spaces + "}\n"); |
627 if (strcmp(qualifier, "DS") == 0) { |
627 if (strcmp(qualifier, "DS") == 0) { |
628 s4o.print(s4o.indent_spaces + "if ("); |
628 s4o.print(s4o.indent_spaces + "if (desactivated) {\n"); |
629 s4o.print("desactivated"); |
|
630 s4o.print(") {\n"); |
|
631 s4o.indent_right(); |
629 s4o.indent_right(); |
632 s4o.print(s4o.indent_spaces); |
630 s4o.print(s4o.indent_spaces); |
633 print_action_argument(current_action, "set_remaining_time"); |
631 print_action_argument(current_action, "set_remaining_time"); |
634 s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n"); |
632 s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n"); |
635 s4o.indent_left(); |
633 s4o.indent_left(); |