From 49a4c40de640b41f20dbe4a2a5a9ede65a69a80a Mon Sep 17 00:00:00 2001
From: sta <sta.blockhead@gmail.com>
Date: Sat, 9 Sep 2017 17:41:32 +0900
Subject: [PATCH] [Modify] Polish it

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

diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs
index 2265a46c..8174bca1 100644
--- a/websocket-sharp/Server/WebSocketSessionManager.cs
+++ b/websocket-sharp/Server/WebSocketSessionManager.cs
@@ -30,6 +30,7 @@ using System;
 using System.Collections;
 using System.Collections.Generic;
 using System.IO;
+using System.Linq;
 using System.Text;
 using System.Threading;
 using System.Timers;
@@ -132,11 +133,15 @@ namespace WebSocketSharp.Server
     /// </value>
     public IEnumerable<string> IDs {
       get {
-        if (_state == ServerState.ShuttingDown)
-          return new string[0];
+        if (_state != ServerState.Start)
+          return Enumerable.Empty<string> ();
+
+        lock (_sync) {
+          if (_state != ServerState.Start)
+            return Enumerable.Empty<string> ();
 
-        lock (_sync)
           return _sessions.Keys.ToList ();
+        }
       }
     }