Fix null pointer in WebSocket code (#110)

toitlang · Aug 1, 2023 · 0ca2a63 · 0ca2a63
1 parent 50c983a
commit 0ca2a63
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/web_socket.toit b/src/web_socket.toit
@@ -411,7 +411,9 @@ class WebSocketReader implements reader.Reader:
           owner_ = null
           return null
       if owner_ == null: return null  // Closed.
-      fragment_reader_ = owner_.next_fragment_
+      next_fragment := owner_.next_fragment_
+      if not next_fragment: return null // Closed.
+      fragment_reader_ = next_fragment
       if fragment_reader_.is_ping or fragment_reader_.is_pong:
         throw "UNIMPLEMENTED_PING"
       else if not fragment_reader_.is_continuation: