(callback, delay, time)
| 4078 | }; |
| 4079 | |
| 4080 | function timer(callback, delay, time) { |
| 4081 | var t = new Timer; |
| 4082 | t.restart(callback, delay, time); |
| 4083 | return t; |
| 4084 | } |
| 4085 | |
| 4086 | function timerFlush() { |
| 4087 | now(); // Get the current time, if not already set. |
no outgoing calls
no test coverage detected