console should always flush after printing anything

mozilla · Nov 27, 2024 · 19092d1 · 19092d1
1 parent f6c86fc
commit 19092d1
Showing 1 changed file with 2 additions and 0 deletions.
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());
         }