Searched refs:cmdDesc (Results 1 – 1 of 1) sorted by relevance
1900 String cmdDesc = String.format("Command %d: [%s] %s", cmd.getId(), in displayCommandsInfo() local1902 printWriter.println(cmdDesc); in displayCommandsInfo()