From 9335b2e4cee6393d7717f8d5dbc4a97a42679ad2 Mon Sep 17 00:00:00 2001 From: sta Date: Sat, 20 Nov 2021 23:20:05 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Server/WebSocketSessionManager.cs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs index b8935f12..dbd486cb 100644 --- a/websocket-sharp/Server/WebSocketSessionManager.cs +++ b/websocket-sharp/Server/WebSocketSessionManager.cs @@ -1294,8 +1294,10 @@ namespace WebSocketSharp.Server public void SendTo (Stream stream, int length, string id) { IWebSocketSession session; + if (!TryGetSession (id, out session)) { var msg = "The session could not be found."; + throw new InvalidOperationException (msg); }