From f9e6b1155bb2237fed12a56ddb86b5bbd7363526 Mon Sep 17 00:00:00 2001 From: sta Date: Sat, 26 Sep 2020 21:13:45 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Net/EndPointManager.cs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/websocket-sharp/Net/EndPointManager.cs b/websocket-sharp/Net/EndPointManager.cs index 5ad7dfd6..e0776100 100644 --- a/websocket-sharp/Net/EndPointManager.cs +++ b/websocket-sharp/Net/EndPointManager.cs @@ -142,6 +142,7 @@ namespace WebSocketSharp.Net var pref = new HttpListenerPrefix (uriPrefix); var addr = convertToIPAddress (pref.Host); + if (addr == null) return; @@ -149,6 +150,7 @@ namespace WebSocketSharp.Net return; int port; + if (!Int32.TryParse (pref.Port, out port)) return; @@ -156,6 +158,7 @@ namespace WebSocketSharp.Net return; var path = pref.Path; + if (path.IndexOf ('%') != -1) return; @@ -165,6 +168,7 @@ namespace WebSocketSharp.Net var endpoint = new IPEndPoint (addr, port); EndPointListener lsnr; + if (!_endpoints.TryGetValue (endpoint, out lsnr)) return;