From d82d95c56f8fb950d4c355cf6338353ed2a0e90f Mon Sep 17 00:00:00 2001 From: sta Date: Tue, 8 Sep 2020 21:32:08 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Net/HttpListenerPrefix.cs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/websocket-sharp/Net/HttpListenerPrefix.cs b/websocket-sharp/Net/HttpListenerPrefix.cs index 1f166b00..5a051834 100644 --- a/websocket-sharp/Net/HttpListenerPrefix.cs +++ b/websocket-sharp/Net/HttpListenerPrefix.cs @@ -175,8 +175,9 @@ namespace WebSocketSharp.Net } var host = uriPrefix.IndexOf (':') + 3; + var end = len - 1; - if (host >= len) { + if (host > end) { var msg = "No host is specified."; throw new ArgumentException (msg, "uriPrefix"); @@ -196,7 +197,7 @@ namespace WebSocketSharp.Net throw new ArgumentException (msg, "uriPrefix"); } - if (uriPrefix[len - 1] != '/') { + if (uriPrefix[end] != '/') { var msg = "It ends without '/'."; throw new ArgumentException (msg, "uriPrefix");