From b24ae75f0b3b7ee494b8fc2776244a031a4d8633 Mon Sep 17 00:00:00 2001
From: sta <sta.blockhead@gmail.com>
Date: Tue, 17 Jan 2017 15:45:24 +0900
Subject: [PATCH] [Modify] Edit it

---
 websocket-sharp/Server/WebSocketServer.cs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/websocket-sharp/Server/WebSocketServer.cs b/websocket-sharp/Server/WebSocketServer.cs
index fb41fd73..6ff6f035 100644
--- a/websocket-sharp/Server/WebSocketServer.cs
+++ b/websocket-sharp/Server/WebSocketServer.cs
@@ -1020,9 +1020,13 @@ namespace WebSocketSharp.Server
     }
 
     /// <summary>
-    /// Stops receiving the WebSocket handshake requests, and closes
-    /// the WebSocket connections.
+    /// Stops receiving the WebSocket handshake requests,
+    /// and closes the WebSocket connections.
     /// </summary>
+    /// <remarks>
+    /// This method does nothing if the server is not started,
+    /// it is shutting down, or it has already stopped.
+    /// </remarks>
     public void Stop ()
     {
       stop (1005, String.Empty);