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

[Fix] Clear after calling the EndPointManager.RemoveListener method

Browse Source
This commit is contained in:
sta 2020-10-06 17:57:14 +09:00
parent 09e33b2c33
commit c0815b2781
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
websocket-sharp/Net/HttpListenerPrefixCollection.cs
View File

@ -166,12 +166,10 @@ namespace WebSocketSharp.Net
if (_listener.IsDisposed) if (_listener.IsDisposed)
throw new ObjectDisposedException (_listener.GetType ().ToString ()); throw new ObjectDisposedException (_listener.GetType ().ToString ());
if (_listener.IsListening)
EndPointManager.RemoveListener (_listener);
_prefixes.Clear (); _prefixes.Clear ();
if (!_listener.IsListening)
return;
EndPointManager.RemoveListener (_listener);
} }
/// <summary> /// <summary>