private void stripOperandFromArgs() {
// remove the domain-name operand
// it may not be here!
if (args.length < 2 || !StringUtils.ok(serverName)) return;
int newlen = args.length - 1;
if (serverName.equals(args[newlen])) {
String[] newargs = new String[newlen];
System.arraycopy(args, 0, newargs, 0, newlen);
args = newargs;
}
}
