()
| 652 | } |
| 653 | |
| 654 | private void inPipeWatcher() throws IOException { |
| 655 | byte [] ba = new byte [256]; // arbitrary blocking factor |
| 656 | int read; |
| 657 | while ( (read = inPipe.read(ba)) != -1 ) { |
| 658 | print( new String(ba, 0, read) ); |
| 659 | //text.repaint(); |
| 660 | } |
| 661 | |
| 662 | println("Console: Input closed..."); |
| 663 | } |
| 664 | |
| 665 | public void run() { |
| 666 | try { |