| Index: tools/dom/src/native_DOMImplementation.dart
|
| diff --git a/tools/dom/src/native_DOMImplementation.dart b/tools/dom/src/native_DOMImplementation.dart
|
| index 8bcab03d4f5f5bc7de7dbed328ab2b22792e5083..2469b0272f923fbd60c3c776d606965dc5496505 100644
|
| --- a/tools/dom/src/native_DOMImplementation.dart
|
| +++ b/tools/dom/src/native_DOMImplementation.dart
|
| @@ -147,10 +147,10 @@ _helperIsolateMain() {
|
| if (cmd == _NEW_TIMER) {
|
| final duration = new Duration(milliseconds: msg[1]);
|
| bool periodic = msg[2];
|
| - final callback = () { replyTo.send(_TIMER_PING); };
|
| + ping() { replyTo.send(_TIMER_PING); };
|
| _TIMER_REGISTRY[replyTo] = periodic ?
|
| - new Timer.periodic(duration, callback) :
|
| - new Timer(duration, callback);
|
| + new Timer.periodic(duration, (_) { ping(); }) :
|
| + new Timer(duration, ping);
|
| } else if (cmd == _CANCEL_TIMER) {
|
| _TIMER_REGISTRY.remove(replyTo).cancel();
|
| } else if (cmd == _PRINT) {
|
|
|