From 822b9eb6f4429532698d01d590c82883a6f38b73 Mon Sep 17 00:00:00 2001 From: sta Date: Tue, 11 Apr 2017 17:23:28 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Server/WebSocketServiceManager.cs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/websocket-sharp/Server/WebSocketServiceManager.cs b/websocket-sharp/Server/WebSocketServiceManager.cs index 675b7ac2..aee8aeb9 100644 --- a/websocket-sharp/Server/WebSocketServiceManager.cs +++ b/websocket-sharp/Server/WebSocketServiceManager.cs @@ -768,8 +768,10 @@ namespace WebSocketSharp.Server var bytes = stream.ReadBytes (length); var len = bytes.Length; - if (len == 0) - throw new ArgumentException ("No data could be read from it.", "stream"); + if (len == 0) { + var msg = "No data could be read from it."; + throw new ArgumentException (msg, "stream"); + } if (len < length) { _logger.Warn (