Currently, there is 1 flush() system call FOREACH char !!!
This cause ~10 times performance decrease
Notice that fixing these extra flushes would cause another bug, that there is a "missing" flush() after each newLine() ( such as after any println() method overload )
.. This is why "it works, but slooooowly"
The private parameter of "autoFlush" in PrintSteam implementation of System.out / System.err
is not correctly re-transmitted to wrapper constructor of AnsiPrintStream
More-over, the semantic of java.io.PrintStream println() calling newLine() ... then calling flush()
should be preserved
Currently, there is 1 flush() system call FOREACH char !!! This cause ~10 times performance decrease
Notice that fixing these extra flushes would cause another bug, that there is a "missing" flush() after each newLine() ( such as after any println() method overload ) .. This is why "it works, but slooooowly"
The private parameter of "autoFlush" in PrintSteam implementation of System.out / System.err is not correctly re-transmitted to wrapper constructor of AnsiPrintStream
More-over, the semantic of java.io.PrintStream println() calling newLine() ... then calling flush() should be preserved
This should be something like
instead of
to be similar to java.io.PrintSteam:
Maybe, the java.io.PrintStream class should not be extended at all, only delegating to a JAnsi Filtering java.io.OutputStream would be enough