( String line )
| 258 | } |
| 259 | |
| 260 | private void acceptLine( String line ) { |
| 261 | if (outPipe == null ) |
| 262 | print("Console internal error..."); |
| 263 | else |
| 264 | try { |
| 265 | outPipe.write( line.getBytes() ); |
| 266 | outPipe.flush(); |
| 267 | } catch ( IOException e ) { |
| 268 | outPipe = null; |
| 269 | throw new RuntimeException("Console pipe broken..."); |
| 270 | } |
| 271 | } |
| 272 | |
| 273 | public void println( Object o ) { |
| 274 | print( String.valueOf(o)+"\n" ); |