From 7e6896fc0c33b5ec550397d8f4cec0b1d27f5f6d Mon Sep 17 00:00:00 2001
From: sta <sta.blockhead@gmail.com>
Date: Thu, 5 May 2016 16:39:11 +0900
Subject: [PATCH] [Modify] Polish it

---
 websocket-sharp/Net/EndPointManager.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/websocket-sharp/Net/EndPointManager.cs b/websocket-sharp/Net/EndPointManager.cs
index 7f8c9ca8..5d107592 100644
--- a/websocket-sharp/Net/EndPointManager.cs
+++ b/websocket-sharp/Net/EndPointManager.cs
@@ -212,9 +212,10 @@ namespace WebSocketSharp.Net
 
     public static void RemoveListener (HttpListener listener)
     {
-      lock (((ICollection) _addressToEndpoints).SyncRoot)
+      lock (((ICollection) _addressToEndpoints).SyncRoot) {
         foreach (var pref in listener.Prefixes)
           removePrefix (pref, listener);
+      }
     }
 
     public static void RemovePrefix (string uriPrefix, HttpListener listener)