From cf40fd54b9df56cdf66e9d7f7f4185c4e8c498ae Mon Sep 17 00:00:00 2001
From: sta <sta.blockhead@gmail.com>
Date: Wed, 15 Feb 2017 16:41:19 +0900
Subject: [PATCH] [Modify] Edit it

---
 websocket-sharp/Server/WebSocketServer.cs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/websocket-sharp/Server/WebSocketServer.cs b/websocket-sharp/Server/WebSocketServer.cs
index be2db0f9..d8aeb861 100644
--- a/websocket-sharp/Server/WebSocketServer.cs
+++ b/websocket-sharp/Server/WebSocketServer.cs
@@ -1120,6 +1120,9 @@ namespace WebSocketSharp.Server
     /// This method does nothing if the server is not started,
     /// it is shutting down, or it has already stopped.
     /// </remarks>
+    /// <exception cref="SocketException">
+    /// The underlying <see cref="TcpListener"/> has failed to stop.
+    /// </exception>
     public void Stop ()
     {
       stop (1005, String.Empty);