Index: sdk/lib/io/timer_impl.dart |
=================================================================== |
--- sdk/lib/io/timer_impl.dart (revision 37823) |
+++ sdk/lib/io/timer_impl.dart (working copy) |
@@ -235,7 +235,7 @@ |
// No pending timers: Close the receive port and let the event handler |
// know. |
if (_receivePort != null) { |
- _EventHandler._sendData(null, _receivePort, _NO_TIMER); |
+ _EventHandler._sendData(null, _sendPort, _NO_TIMER); |
_shutdownTimerHandler(); |
} |
} else { |
@@ -248,7 +248,7 @@ |
_sendPort.send(null); |
} else { |
_EventHandler._sendData(null, |
- _receivePort, |
+ _sendPort, |
_heap.first._wakeupTime); |
} |
} |
@@ -316,6 +316,7 @@ |
static void _shutdownTimerHandler() { |
_receivePort.close(); |
_receivePort = null; |
+ _sendPort = null; |
} |
} |