From c41499f9532c21567c6695ff8ab02b948fa73933 Mon Sep 17 00:00:00 2001
From: "Robin C. Ladiges" <rcl.git@blackpinguin.de>
Date: Wed, 7 Sep 2022 11:31:13 +0200
Subject: [PATCH] remove unused label

git cherry-pick accidentially picked up a line from another commit for the JSON API
---
 Server/Server.cs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Server/Server.cs b/Server/Server.cs
index 6fcb903..150ec58 100644
--- a/Server/Server.cs
+++ b/Server/Server.cs
@@ -308,7 +308,6 @@ public class Server {
         disconnect:
         Logger.Info($"Client {socket.RemoteEndPoint} ({client.Name}/{client.Id}) disconnected from the server");
 
-        close:
         bool wasConnected = client.Connected;
         // Clients.Remove(client)
         client.Connected = false;