From 1c1d9d998c391ae6279bb0813c7e6f98b4571a52 Mon Sep 17 00:00:00 2001 From: sta Date: Sun, 17 Sep 2017 14:21:28 +0900 Subject: [PATCH] [Modify] Edit it --- websocket-sharp/Server/WebSocketSessionManager.cs | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs index 188db488..e4d49bad 100644 --- a/websocket-sharp/Server/WebSocketSessionManager.cs +++ b/websocket-sharp/Server/WebSocketSessionManager.cs @@ -270,11 +270,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 service has already started or + /// it is shutting down. + /// /// - /// A that represents the wait time. + /// A to wait for the response. /// + /// + /// The value specified for a set operation is zero or less. + /// public TimeSpan WaitTime { get { return _waitTime;