DevWiki/websocket-sharp
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[Modify] Polish it

Browse Source
This commit is contained in:
sta 2020-09-10 20:11:10 +09:00
parent 549a9c6d57
commit 8014e28c7f
1 changed files with 9 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
websocket-sharp/Net/HttpListenerPrefix.cs
View File

@ -174,10 +174,17 @@ namespace WebSocketSharp.Net
throw new ArgumentException (msg, "uriPrefix"); throw new ArgumentException (msg, "uriPrefix");
} }
var host = uriPrefix.IndexOf (':') + 3;
var end = len - 1; var end = len - 1;
if (host > end) { if (uriPrefix[end] != '/') {
var msg = "It ends without '/'.";
throw new ArgumentException (msg, "uriPrefix");
}
var host = uriPrefix.IndexOf (':') + 3;
if (host >= end) {
var msg = "No host is specified."; var msg = "No host is specified.";
throw new ArgumentException (msg, "uriPrefix"); throw new ArgumentException (msg, "uriPrefix");
@ -191,18 +198,6 @@ namespace WebSocketSharp.Net
var root = uriPrefix.IndexOf ('/', host, len - host); var root = uriPrefix.IndexOf ('/', host, len - host);
if (root == host) {
var msg = "No host is specified.";
throw new ArgumentException (msg, "uriPrefix");
}
if (uriPrefix[end] != '/') {
var msg = "It ends without '/'.";
throw new ArgumentException (msg, "uriPrefix");
}
if (uriPrefix[root - 1] == ':') { if (uriPrefix[root - 1] == ':') {
var msg = "No port is specified."; var msg = "No port is specified.";