From 0a3ea71729fbb6423bd2791a069437ae2db45fa4 Mon Sep 17 00:00:00 2001 From: sta Date: Thu, 21 Sep 2017 19:39:10 +0900 Subject: [PATCH] [Modify] Edit it --- websocket-sharp/Server/WebSocketServiceManager.cs | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/websocket-sharp/Server/WebSocketServiceManager.cs b/websocket-sharp/Server/WebSocketServiceManager.cs index 0c29136b..8706f58f 100644 --- a/websocket-sharp/Server/WebSocketServiceManager.cs +++ b/websocket-sharp/Server/WebSocketServiceManager.cs @@ -251,11 +251,19 @@ namespace WebSocketSharp.Server } /// - /// Gets the wait time for the response to the WebSocket Ping or Close. + /// Gets or sets the time to wait for the response to the WebSocket Ping or + /// Close. /// + /// + /// The set operation does nothing if the server has already started or + /// it is shutting down. + /// /// - /// A that represents the wait time for the response. + /// A to wait for the response. /// + /// + /// The value specified for a set operation is zero or less. + /// public TimeSpan WaitTime { get { return _waitTime;