equal
deleted
inserted
replaced
464 int res; |
464 int res; |
465 while (!done) { |
465 while (!done) { |
466 try { |
466 try { |
467 str = in.readLine(); |
467 str = in.readLine(); |
468 System.out.println("line: " + str); |
468 System.out.println("line: " + str); |
|
469 if (str == null) { |
|
470 System.out.println("EOF read from input"); |
|
471 break; |
|
472 } |
469 buf = new StringBuffer(str); |
473 buf = new StringBuffer(str); |
470 res = parseCmd(buf); |
474 res = parseCmd(buf); |
471 switch (res) { |
475 switch (res) { |
472 case ERROR: |
476 case ERROR: |
473 out.println("500 '" + str +"': command not understood."); |
477 out.println("500 '" + str +"': command not understood."); |