| changeset 49251 | cd28155bb7d5 |
| parent 49249 | c763444b34ad |
| child 52477 | 025b3777e592 |
| 49250:332ab3748350 | 49251:cd28155bb7d5 |
|---|---|
81 |
81 |
82 def postpone(alt_time: Time) |
82 def postpone(alt_time: Time) |
83 { |
83 { |
84 require() |
84 require() |
85 if (timer.isRunning) { |
85 if (timer.isRunning) { |
86 timer.setInitialDelay(timer.getDelay max alt_time.ms.toInt) |
86 timer.setInitialDelay(timer.getInitialDelay max alt_time.ms.toInt) |
87 timer.restart() |
87 timer.restart() |
88 } |
88 } |
89 } |
89 } |
90 } |
90 } |
91 |
91 |