private int lookUpServer(String name)
	{
		print("Looking up server " + name + "...");
		try {
			Server s = (Server)registryProxy.lookup(name);
			int id = s.getServerId();
			println("Server found.");
			servers.put(id, s);
			return id;
		} catch (NotBoundException nbe) {
			println("Server recently disconnected.");
			return -1;
		} catch (RemoteException re) {
			println("Server unavailable. Server removed from registry.");
			try {
				registryProxy.unbind(name);
			} catch (Exception e) {
			}
			return -1;
		}
	}