Fix bug that makes mastermind.s unplayable

TheThirdOne · TheThirdOne · commit eab9540cd06c · 2023-02-26T22:04:33.000-08:00
This is a regression not present in v1.5. It seems to have been introduced by 43dd8a7. Specifically double buffering System.out seems to hold things up. Simply flushing constantly seems to fix it.
diff --git a/src/rars/util/SystemIO.java b/src/rars/util/SystemIO.java
@@ -142,6 +142,7 @@ public static void printString(String string) {
         if (Globals.getGui() == null) {
             try {
                 SystemIO.getOutputWriter().write(string);
+                SystemIO.getOutputWriter().flush();
             } catch (IOException e){
             }
         } else {

Original file line number	Diff line number	Diff line change
`@@ -142,6 +142,7 @@ public static void printString(String string) {`
`142`	`142`	`if (Globals.getGui() == null) {`
`143`	`143`	`try {`
`144`	`144`	`SystemIO.getOutputWriter().write(string);`
	`145`	`+ SystemIO.getOutputWriter().flush();`
`145`	`146`	`} catch (IOException e){`
`146`	`147`	`}`
`147`	`148`	`} else {`