From 0ca2a636d08c15875c880f247c9cfce4a1ac8659 Mon Sep 17 00:00:00 2001
From: Erik Corry <erik@toitware.com>
Date: Tue, 1 Aug 2023 15:42:24 +0200
Subject: [PATCH] Fix null pointer in WebSocket code (#110)

---
 src/web_socket.toit | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/web_socket.toit b/src/web_socket.toit
index bec1332..18dcc6d 100644
--- 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: