private synchronized void serverDisconnected(int disconnectedId)
	{
		servers.remove(disconnectedId);
		gui.updateServerList(servers);
		// Check if the active transaction needs to abort
		if (activeTransaction != null)
			activeTransaction.serverDisconnected(disconnectedId);
		// Unlock any resources locked by transactions from the server that disconnected
		for (Object resource : resources) {
			Resource r = (Resource)resource;
			if (r.isLockedByServer(disconnectedId))
				r.forceUnlock();
		}
	}