Fix system out / err streams when redirecting to file (#779)

This commit is contained in:
Guillaume Nodet
2023-01-24 08:19:05 +01:00
committed by GitHub
parent 19cc6c42b7
commit b2bd0aaae5

View File

@@ -323,14 +323,22 @@ public class TerminalOutput implements ClientOutput {
}
case Message.PRINT_OUT: {
Message.StringMessage d = (Message.StringMessage) entry;
clearDisplay();
System.out.printf("%s%n", d.getMessage());
if (log instanceof FileLog) {
log.accept(d.getMessage());
} else {
clearDisplay();
System.out.printf("%s%n", d.getMessage());
}
break;
}
case Message.PRINT_ERR: {
Message.StringMessage d = (Message.StringMessage) entry;
clearDisplay();
System.err.printf("%s%n", d.getMessage());
if (log instanceof FileLog) {
log.accept(d.getMessage());
} else {
clearDisplay();
System.err.printf("%s%n", d.getMessage());
}
break;
}
case Message.PROMPT: {