impl/activation/ServerTool.java

162             System.out.print("\t" + handler.getCommandName());
163             for (int j=handler.getCommandName().length();
185                     if (handler.getCommandName().equals(cmd[1])) {
198             if (handler.getCommandName().equals(cmd[0])) {
256             cmdNameLen = handler.getCommandName().length();
264     public String getCommandName() {return "register";}
355     public String getCommandName() {return "unregister";}
411     public String getCommandName() {return "locate";}
487     public String getCommandName() {return "locateperorb";}
565     public String getCommandName() {return "getserverid" ; }
605     public String getCommandName() {return "list";}
709     public String getCommandName() {return "listactive";}
755     public String getCommandName() {return "listappnames";}
788     public String getCommandName() {return "shutdown";}
836     public String getCommandName() {return "startup";}
885     public String getCommandName() {return "quit";}
906     public String getCommandName() {return "help";}
925     public String getCommandName() {return "orblist";}