From a882669fcb6edf566dc99804fea18d8762f99f0f Mon Sep 17 00:00:00 2001 From: sta Date: Sat, 26 Aug 2017 21:33:59 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Server/WebSocketSessionManager.cs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs index f453d30d..66256dcd 100644 --- a/websocket-sharp/Server/WebSocketSessionManager.cs +++ b/websocket-sharp/Server/WebSocketSessionManager.cs @@ -387,11 +387,14 @@ namespace WebSocketSharp.Server } internal void Broadcast ( - Opcode opcode, Stream stream, Dictionary cache) + Opcode opcode, Stream stream, Dictionary cache + ) { foreach (var session in Sessions) { - if (_state != ServerState.Start) + if (_state != ServerState.Start) { + _log.Error ("The service is shutting down."); break; + } session.Context.WebSocket.Send (opcode, stream, cache); }