diff options
Diffstat (limited to 'scripting/workben/installer/LogStream.java')
| -rw-r--r-- | scripting/workben/installer/LogStream.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripting/workben/installer/LogStream.java b/scripting/workben/installer/LogStream.java index e8cb77031a23..3fde653709f3 100644 --- a/scripting/workben/installer/LogStream.java +++ b/scripting/workben/installer/LogStream.java @@ -38,6 +38,7 @@ public class LogStream extends PrintStream { super( new FileOutputStream( logFileName ) ); } + @Override public void println(String x) { super.println( getTimeStamp() + x ); |