| Index: runtime/bin/eventhandler_win.h
|
| diff --git a/runtime/bin/eventhandler_win.h b/runtime/bin/eventhandler_win.h
|
| index 89b194131d0d3dc29c1d8009cda0d3c4d3fd204f..ef4157af4aec93fd2fc06d279de02e8df5cd5711 100644
|
| --- a/runtime/bin/eventhandler_win.h
|
| +++ b/runtime/bin/eventhandler_win.h
|
| @@ -224,7 +224,6 @@ class Handle {
|
|
|
| HANDLE handle() { return handle_; }
|
| Dart_Port port() { return port_; }
|
| - EventHandlerImplementation* event_handler() { return event_handler_; }
|
|
|
| void Lock();
|
| void Unlock();
|
| @@ -439,6 +438,7 @@ class ClientSocket : public SocketHandle {
|
| ASSERT(!HasPendingRead());
|
| ASSERT(!HasPendingWrite());
|
| ASSERT(next_ == NULL);
|
| + ASSERT(closed_ == true);
|
| };
|
|
|
| void Shutdown(int how);
|
|
|