From 0b748281e42c55e336fe3b34058a9079592db653 Mon Sep 17 00:00:00 2001 From: sta Date: Sun, 18 Oct 2015 17:40:33 +0900 Subject: [PATCH] [Modify] Polish it Add a method to release common resources. --- websocket-sharp/WebSocket.cs | 35 ++++++++++++++++++++--------------- 1 file changed, 20 insertions(+), 15 deletions(-) diff --git a/websocket-sharp/WebSocket.cs b/websocket-sharp/WebSocket.cs index eee09c29..a1555313 100644 --- a/websocket-sharp/WebSocket.cs +++ b/websocket-sharp/WebSocket.cs @@ -791,21 +791,7 @@ namespace WebSocketSharp else releaseServerResources (); - if (_fragmentsBuffer != null) { - _fragmentsBuffer.Dispose (); - _fragmentsBuffer = null; - _inContinuation = false; - } - - if (_receivePong != null) { - _receivePong.Close (); - _receivePong = null; - } - - if (_exitReceiving != null) { - _exitReceiving.Close (); - _exitReceiving = null; - } + releaseCommonResources (); var ret = sent && received; _logger.Debug ( @@ -1164,6 +1150,25 @@ namespace WebSocketSharp } } + private void releaseCommonResources () + { + if (_fragmentsBuffer != null) { + _fragmentsBuffer.Dispose (); + _fragmentsBuffer = null; + _inContinuation = false; + } + + if (_receivePong != null) { + _receivePong.Close (); + _receivePong = null; + } + + if (_exitReceiving != null) { + _exitReceiving.Close (); + _exitReceiving = null; + } + } + // As server private void releaseServerResources () {