console should always flush after printing anything

andreabergia · andreabergia · commit 7ee942e96026 · 2024-11-26T10:33:35.000+01:00
diff --git a/rhino-tools/src/main/java/org/mozilla/javascript/tools/shell/ShellConsolePrinter.java b/rhino-tools/src/main/java/org/mozilla/javascript/tools/shell/ShellConsolePrinter.java
@@ -36,6 +36,8 @@ public void print(
                     console.println(element.toString());
                 }
             }
+
+            console.flush();
         } catch (IOException e) {
             throw Context.reportRuntimeError(e.getMessage());
         }

Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,8 @@ public void print(`
`36`	`36`	`console.println(element.toString());`
`37`	`37`	`}`
`38`	`38`	`}`
	`39`	`+`
	`40`	`+ console.flush();`
`39`	`41`	`} catch (IOException e) {`
`40`	`42`	`throw Context.reportRuntimeError(e.getMessage());`
`41`	`43`	`}`