420421422423424425426427428429430431432433
} else { command = line2.toUpperCase(); args = ""; } final Cmd cmd = this.commands.get(command); if (cmd != null) { canceled = cmd.executeCommand(args); } else { throw new AnalystError("Unknown Command: " + line); } reportCommandEnd(canceled);
501502503504505506507508509510511512513514