| 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;
|
| }
|
| }
|
|
|
|
|