| commit | 10abc71732c29d04e442c3df9dbcbd9debe50210 | [log] [tgz] |
|---|---|---|
| author | ajohnsen@google.com <ajohnsen@google.com> | Fri Jul 19 13:26:48 2013 +0000 |
| committer | ajohnsen@google.com <ajohnsen@google.com> | Fri Jul 19 13:26:48 2013 +0000 |
| tree | a6f5099fc79f33b46cbcc2bc388808d61b8170ac | |
| parent | 73efb79bfe9047d641b36047b8cbce932f5701c6 [diff] |
Keep track of when a socket has been destroyed This adds the event CLOSED to RawSocket and RawServerSocket. This event indicate that the underlying socket is now destroyed. This is used to make Socket.close and ServerSocket.close return a future which is completed when the unserlying socket is destroyed. This can be used to start listening on the same port after closing a server socket. R=ajohnsen@google.com, kustermann@google.com BUG=https://code.google.com/p/dart/issues/detail?id=4155 Review URL: https://codereview.chromium.org//14864009 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart/pkg/http@25213 260f80e4-7a28-3924-810f-c04153c831b5