From e8a0edfeb76ac3ff9bdaa13238abd10119337e88 Mon Sep 17 00:00:00 2001
From: sta <sta.blockhead@gmail.com>
Date: Wed, 31 May 2017 15:34:52 +0900
Subject: [PATCH] [Modify] Polish it

---
 websocket-sharp/Server/HttpServer.cs | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/websocket-sharp/Server/HttpServer.cs b/websocket-sharp/Server/HttpServer.cs
index 9309e173..c5837797 100644
--- a/websocket-sharp/Server/HttpServer.cs
+++ b/websocket-sharp/Server/HttpServer.cs
@@ -603,14 +603,22 @@ namespace WebSocketSharp.Server
     private void abort ()
     {
       lock (_sync) {
-        if (!IsListening)
+        if (_state != ServerState.Start)
           return;
 
         _state = ServerState.ShuttingDown;
       }
 
-      _services.Stop (new CloseEventArgs (CloseStatusCode.ServerError), true, false);
-      _listener.Abort ();
+      try {
+        try {
+          _services.Stop (1006, String.Empty);
+        }
+        finally {
+          _listener.Abort ();
+        }
+      }
+      catch {
+      }
 
       _state = ServerState.Stop;
     }