src/java.net.http/share/classes/jdk/internal/net/http/websocket/WebSocketImpl.java
branchhttp-client-branch
changeset 56322 316be30d078d
parent 56320 f82729ca8660
child 56323 cf43d0ee8959
--- a/src/java.net.http/share/classes/jdk/internal/net/http/websocket/WebSocketImpl.java	Mon Mar 19 17:04:28 2018 +0000
+++ b/src/java.net.http/share/classes/jdk/internal/net/http/websocket/WebSocketImpl.java	Mon Mar 19 19:52:43 2018 +0000
@@ -456,10 +456,9 @@
         public void run() {
             debug.log(Level.DEBUG, "enter receive task");
             loop:
-            while (true) {
+            while (!receiveScheduler.isStopped()) {
                 State s = state.get();
                 debug.log(Level.DEBUG, "receive state: %s", s);
-
                 try {
                     switch (s) {
                         case OPEN: