branch: master
commit aa47fa32b25080c425d2d71595bc917f64b1db11
Author: Ludovic Courtès <[email protected]>
AuthorDate: Tue May 9 17:02:59 2023 +0200
ui: Make 'current-logging-port' line-buffered.
* src/cuirass/ui.scm (run-cuirass): Add 'setvbuf' call.
---
src/cuirass/ui.scm | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/cuirass/ui.scm b/src/cuirass/ui.scm
index cdf4d08..fa9b0b6 100644
--- a/src/cuirass/ui.scm
+++ b/src/cuirass/ui.scm
@@ -129,6 +129,10 @@ similar."
;; number of 'stat' calls per entry in %LOAD-PATH. Shamelessly remove it.
(set! %load-extensions '(".scm"))
+ ;; Since messages can be written from several threads, arrange to print
+ ;; lines at once.
+ (setvbuf (current-logging-port) 'line)
+
(match args
(()
(format (current-error-port)
