| changeset 1511 | 65ddd8f149f3 |
| parent 2 | 90ce3da70b43 |
| child 1639 | a97859015238 |
| 1510:e747d3193ef2 | 1511:65ddd8f149f3 |
|---|---|
51 is = rawInputStream; |
51 is = rawInputStream; |
52 os = rawout; |
52 os = rawout; |
53 do { |
53 do { |
54 startLine = readLine(); |
54 startLine = readLine(); |
55 /* skip blank lines */ |
55 /* skip blank lines */ |
56 } while (startLine.equals ("")); |
56 } while (startLine == null ? false : startLine.equals ("")); |
57 } |
57 } |
58 |
58 |
59 |
59 |
60 char[] buf = new char [BUF_LEN]; |
60 char[] buf = new char [BUF_LEN]; |
61 int pos; |
61 int pos; |