remove unused label

git cherry-pick accidentially picked up a line from another commit for the JSON API
This commit is contained in:
Robin C. Ladiges 2022-09-07 11:31:13 +02:00
parent 891cfb41fb
commit bdc354b76e
No known key found for this signature in database
GPG Key ID: B494D3DF92661B99
1 changed files with 0 additions and 1 deletions

View File

@ -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;