From 544df68e13779289510bdb3028a2f0154c6df8da Mon Sep 17 00:00:00 2001
From: sta <sta.blockhead@gmail.com>
Date: Mon, 11 Sep 2017 17:24:11 +0900
Subject: [PATCH] [Modify] Polish it

---
 websocket-sharp/Server/WebSocketSessionManager.cs | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs
index 8e94708f..8984445a 100644
--- a/websocket-sharp/Server/WebSocketSessionManager.cs
+++ b/websocket-sharp/Server/WebSocketSessionManager.cs
@@ -240,11 +240,15 @@ namespace WebSocketSharp.Server
     /// </value>
     public IEnumerable<IWebSocketSession> Sessions {
       get {
-        if (_state == ServerState.ShuttingDown)
-          return new IWebSocketSession[0];
+        if (_state != ServerState.Start)
+          return Enumerable.Empty<IWebSocketSession> ();
+
+        lock (_sync) {
+          if (_state != ServerState.Start)
+            return Enumerable.Empty<IWebSocketSession> ();
 
-        lock (_sync)
           return _sessions.Values.ToList ();
+        }
       }
     }