treat end of file reads as timeout

arianne · Jan 24, 2024 · 32e6b2f · 32e6b2f
1 parent d02ea29
commit 32e6b2f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/marauroa/server/net/web/WebSocketChannel.java b/src/marauroa/server/net/web/WebSocketChannel.java
@@ -11,6 +11,7 @@
  ***************************************************************************/
 package marauroa.server.net.web;
 
+import java.io.EOFException;
 import java.io.IOException;
 import java.net.InetSocketAddress;
 import java.net.SocketTimeoutException;
@@ -112,7 +113,7 @@ public void onClose(Session session, CloseReason closeReason) {
 
 	@OnError
 	public void onError(Session session, Throwable cause) {
-		if (cause instanceof SocketTimeoutException) {
+		if (cause instanceof SocketTimeoutException || cause instanceof EOFException) {
 			onClose(session, new CloseReason(CloseCodes.UNEXPECTED_CONDITION, "Timeout"));
 			return;
 		}