4142434445464748495051
{ line = in.readLine(); line = line.trim(); if ("dump".equals(line)); wiser.dumpMessages(System.out); if (line.startsWith("dump ")) { line = line.substring("dump ".length()); File f = new File(line);
4849505152535455565758
if (line.startsWith("dump ")) { line = line.substring("dump ".length()); File f = new File(line); OutputStream out = new FileOutputStream(f); wiser.dumpMessages(new PrintStream(out)); out.close(); } } while (!"quit".equals(line));