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

---
 websocket-sharp/Net/EndPointListener.cs | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/websocket-sharp/Net/EndPointListener.cs b/websocket-sharp/Net/EndPointListener.cs
index 05c3cf8c..406f4e4c 100644
--- a/websocket-sharp/Net/EndPointListener.cs
+++ b/websocket-sharp/Net/EndPointListener.cs
@@ -460,14 +460,12 @@ namespace WebSocketSharp.Net
         return;
       }
 
-      List<HttpListenerPrefix> prefs, prefs2;
-
       do {
-        prefs = _prefixes;
-        var idx = prefs.IndexOf (prefix);
+        current = _prefixes;
+        var idx = current.IndexOf (prefix);
 
         if (idx > -1) {
-          if (prefs[idx].Listener != prefix.Listener) {
+          if (current[idx].Listener != prefix.Listener) {
             var msg = String.Format (
                         "There is another listener for {0}.", prefix
                       );
@@ -478,11 +476,11 @@ namespace WebSocketSharp.Net
           return;
         }
 
-        prefs2 = new List<HttpListenerPrefix> (prefs);
-        prefs2.Add (prefix);
+        future = new List<HttpListenerPrefix> (current);
+        future.Add (prefix);
       }
       while (
-        Interlocked.CompareExchange (ref _prefixes, prefs2, prefs) != prefs
+        Interlocked.CompareExchange (ref _prefixes, future, current) != current
       );
     }