129130131132133134135136137138139
public void putServer(String name, ImRServerInfo server) throws DuplicateServerName { if (servers.containsKey(name)) throw new DuplicateServerName(name); table_lock.gainSharedLock(); servers_lock.gainSharedLock(); servers.put(name, server);
128129130131132133134135136137138