From bca605bf91731e0380ddc1ca27fdc2124941c4f2 Mon Sep 17 00:00:00 2001 From: sta Date: Sat, 18 Jun 2016 15:35:52 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Net/EndPointManager.cs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/websocket-sharp/Net/EndPointManager.cs b/websocket-sharp/Net/EndPointManager.cs index 903ce071..2f1fe66d 100644 --- a/websocket-sharp/Net/EndPointManager.cs +++ b/websocket-sharp/Net/EndPointManager.cs @@ -192,9 +192,9 @@ namespace WebSocketSharp.Net { lock (((ICollection) _addressToEndpoints).SyncRoot) { var addr = listener.Address; - var eps = _addressToEndpoints[addr]; - eps.Remove (listener.Port); - if (eps.Count == 0) + var endpoints = _addressToEndpoints[addr]; + endpoints.Remove (listener.Port); + if (endpoints.Count == 0) _addressToEndpoints.Remove (addr); listener.Close ();