From 161bad1d05aaa9d54498c5a46bb7ad8336425d0c Mon Sep 17 00:00:00 2001 From: sta Date: Mon, 28 Aug 2017 13:57:06 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Server/WebSocketServiceManager.cs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/websocket-sharp/Server/WebSocketServiceManager.cs b/websocket-sharp/Server/WebSocketServiceManager.cs index 40021255..f6c191e5 100644 --- a/websocket-sharp/Server/WebSocketServiceManager.cs +++ b/websocket-sharp/Server/WebSocketServiceManager.cs @@ -336,10 +336,13 @@ namespace WebSocketSharp.Server var ret = new Dictionary> (); foreach (var host in Hosts) { - if (_state != ServerState.Start) + if (_state != ServerState.Start) { + _log.Error ("The server is shutting down."); break; + } - ret.Add (host.Path, host.Sessions.Broadping (frameAsBytes, timeout)); + var res = host.Sessions.Broadping (frameAsBytes, timeout); + ret.Add (host.Path, res); } return ret;