From 048e39a9155fe52ff695449d257de0a9fe5453fc Mon Sep 17 00:00:00 2001 From: sta Date: Sun, 27 Aug 2017 14:51:55 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Server/WebSocketServiceManager.cs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/websocket-sharp/Server/WebSocketServiceManager.cs b/websocket-sharp/Server/WebSocketServiceManager.cs index 375b0ea8..40021255 100644 --- a/websocket-sharp/Server/WebSocketServiceManager.cs +++ b/websocket-sharp/Server/WebSocketServiceManager.cs @@ -289,10 +289,13 @@ namespace WebSocketSharp.Server private void broadcast (Opcode opcode, Stream stream, Action completed) { var cache = new Dictionary (); + try { foreach (var host in Hosts) { - if (_state != ServerState.Start) + if (_state != ServerState.Start) { + _log.Error ("The server is shutting down."); break; + } host.Sessions.Broadcast (opcode, stream, cache); }