public void unregisterServer(string server_guid) { try { server_list.Remove(server_guid); } catch (KeyNotFoundException) { // nothing to remove } }