From ea664163c472b993f262dbd9495020a41cb2cb70 Mon Sep 17 00:00:00 2001 From: sta Date: Mon, 11 Apr 2016 14:31:47 +0900 Subject: [PATCH] [Modify] Replace it --- websocket-sharp/Net/HttpListener.cs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/websocket-sharp/Net/HttpListener.cs b/websocket-sharp/Net/HttpListener.cs index 8814a817..70f683b9 100644 --- a/websocket-sharp/Net/HttpListener.cs +++ b/websocket-sharp/Net/HttpListener.cs @@ -483,7 +483,15 @@ namespace WebSocketSharp.Net private void close (bool force) { EndPointManager.RemoveListener (this); - cleanup (force); + + lock (_ctxRegistrySync) { + if (!force) + sendServiceUnavailable (); + } + + cleanupContextRegistry (); + cleanupConnections (); + cleanupWaitQueue (new ObjectDisposedException (GetType ().ToString ())); } private HttpListenerContext getContextFromQueue ()