if (command.equals("SUBTREE")) {
subtree = msg.popString();
}
else
if (command.equals("CONNECT")) {
String address = msg.popString();
String service = msg.popString();
if (nbrServers < SERVER_MAX) {
server [nbrServers++] = new Server(
ctx, address, Integer.parseInt(service), subtree);
// We broadcast updates to all known servers