> -----Original Message-----
> From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]
[...]
> + /**
> * Print a line to the given stream and flush the
> stream right after that.
> */
> - private void printlnAndFlush(PrintStream p, String line) {
> + protected void printlnAndFlush(PrintStream p, String line) {
> p.println(line);
> p.flush();
> }
If the PrintStream is set to autoflush you should not need this, it will be
flushed for each newline.
new PrintStream(oldstream, true);
Stephane
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
