From 22a24c462cc7628c76f7c031c381497462d789f0 Mon Sep 17 00:00:00 2001
From: sta <sta.blockhead@gmail.com>
Date: Tue, 20 Oct 2020 19:26:42 +0900
Subject: [PATCH] [Modify] Polish it

---
 websocket-sharp/Net/EndPointListener.cs | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/websocket-sharp/Net/EndPointListener.cs b/websocket-sharp/Net/EndPointListener.cs
index 406f4e4c..139c1639 100644
--- a/websocket-sharp/Net/EndPointListener.cs
+++ b/websocket-sharp/Net/EndPointListener.cs
@@ -553,19 +553,17 @@ namespace WebSocketSharp.Net
         return;
       }
 
-      List<HttpListenerPrefix> prefs, prefs2;
-
       do {
-        prefs = _prefixes;
+        current = _prefixes;
 
-        if (!prefs.Contains (prefix))
+        if (!current.Contains (prefix))
           break;
 
-        prefs2 = new List<HttpListenerPrefix> (prefs);
-        prefs2.Remove (prefix);
+        future = new List<HttpListenerPrefix> (current);
+        future.Remove (prefix);
       }
       while (
-        Interlocked.CompareExchange (ref _prefixes, prefs2, prefs) != prefs
+        Interlocked.CompareExchange (ref _prefixes, future, current) != current
       );
 
       leaveIfNoPrefix ();