Make sure to process WebSocket frames when closing a WebSocket

tests/standalone/io/web_socket_test.dart

Index: tests/standalone/io/web_socket_test.dart
diff --git a/tests/standalone/io/web_socket_test.dart b/tests/standalone/io/web_socket_test.dart
index 97059042e1d5db5aa0b862adfd055ad70b0f6249..0dc8b5df4945c2c181985d3ec3178467ef21dbbd 100644
--- a/tests/standalone/io/web_socket_test.dart
+++ b/tests/standalone/io/web_socket_test.dart
@@ -173,6 +173,36 @@ class SecurityConfiguration {
   }
 
 
+  void testCloseNoListen() {
+    createServer().then((server) {
+      server.transform(new WebSocketTransformer()).listen((webSocket) {
+        server.close();
+        webSocket.close();
+      });
+
+      createClient(server.port).then((webSocket) {
+          webSocket.close();
+        });

[kustermann, 2015/05/08 13:21:20]

indentation

[Søren Gjesse, 2015/06/15 07:51:32]

Done.

+    });
+  }
+
+
+  void testListenAfterClose() {
+    createServer().then((server) {
+      server.transform(new WebSocketTransformer()).listen((webSocket) {
+        server.close();
+        webSocket.close();
+        Expect.throws(() => webSocket.drain());
+      });
+
+      createClient(server.port).then((webSocket) {
+          webSocket.close();
+          Expect.throws(() => webSocket.drain());
+        });

[kustermann, 2015/05/08 13:21:20]

indentation

[Søren Gjesse, 2015/06/15 07:51:32]

Done.

+    });
+  }
+
+
   void testDoubleCloseClient() {
     createServer().then((server) {
       server.transform(new WebSocketTransformer()).listen((webSocket) {
@@ -208,10 +238,10 @@ class SecurityConfiguration {
       server.listen((request) {
         WebSocketTransformer.upgrade(request)
             .then((webSocket) {
-              webSocket.close();
               webSocket.listen(
                   (_) { Expect.fail("Unexpected message"); },
                   onDone: server.close);
+              webSocket.close();
             });
       });
 
@@ -239,10 +269,10 @@ class SecurityConfiguration {
       });
 
       createClient(server.port).then((webSocket) {
-          webSocket.close();
           webSocket.listen(
               (_) { Expect.fail("Unexpected message"); },
               onDone: webSocket.close);
+          webSocket.close();
         });
     });
   }
@@ -512,6 +542,8 @@ class SecurityConfiguration {
     testMessageLength(127);
     testMessageLength(65535);
     testMessageLength(65536);
+    testCloseNoListen();
+    testListenAfterClose();
     testDoubleCloseClient();
     testDoubleCloseServer();
     testImmediateCloseServer();