Disconnected miners are now correctly handled and removed from the list.
Tiny fixes in SocketServer.cs.