src/java.net.http/share/classes/jdk/internal/net/http/websocket/WebSocketImpl.java
--- 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: