From f28ce31debda898c4aee28bbf7c462a857b8a7e2 Mon Sep 17 00:00:00 2001 From: sta Date: Sat, 16 Sep 2017 17:37:51 +0900 Subject: [PATCH] [Modify] It can be set --- .../Server/WebSocketSessionManager.cs | 23 ++++++++++++++----- 1 file changed, 17 insertions(+), 6 deletions(-) diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs index 8b2f7cd3..188db488 100644 --- a/websocket-sharp/Server/WebSocketSessionManager.cs +++ b/websocket-sharp/Server/WebSocketSessionManager.cs @@ -280,13 +280,24 @@ namespace WebSocketSharp.Server return _waitTime; } - internal set { - if (value == _waitTime) - return; + set { + if (value <= TimeSpan.Zero) + throw new ArgumentOutOfRangeException ("value", "Zero or less."); - _waitTime = value; - foreach (var session in Sessions) - session.Context.WebSocket.WaitTime = value; + string msg; + if (!canSet (out msg)) { + _log.Warn (msg); + return; + } + + lock (_sync) { + if (!canSet (out msg)) { + _log.Warn (msg); + return; + } + + _waitTime = value; + } } }