From 9593bf1a8599eaea6503a9cd86de6a6fb2b380ba Mon Sep 17 00:00:00 2001 From: sta Date: Wed, 6 Sep 2017 19:23:34 +0900 Subject: [PATCH] [Modify] Add it --- .../Server/WebSocketSessionManager.cs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs index 48bebacc..88b3b291 100644 --- a/websocket-sharp/Server/WebSocketSessionManager.cs +++ b/websocket-sharp/Server/WebSocketSessionManager.cs @@ -316,6 +316,23 @@ namespace WebSocketSharp.Server ThreadPool.QueueUserWorkItem (state => broadcast (opcode, stream, completed)); } + private Dictionary broadping (byte[] frameAsBytes) + { + var ret = new Dictionary (); + + foreach (var session in Sessions) { + if (_state != ServerState.Start) { + _log.Error ("The service is shutting down."); + break; + } + + var res = session.Context.WebSocket.Ping (frameAsBytes, _waitTime); + ret.Add (session.ID, res); + } + + return ret; + } + private static string createID () { return Guid.NewGuid ().ToString ("N");