From b87a7e0c9759e0e1e7b3e88845dfdf664a6af48e Mon Sep 17 00:00:00 2001 From: Nikolay Puzanov Date: Thu, 1 Dec 2022 22:15:59 +0300 Subject: [PATCH] Flush stdout after log string printing --- _web_server/server/playground-server.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/_web_server/server/playground-server.scm b/_web_server/server/playground-server.scm index d49f2e3..8d8da6d 100755 --- a/_web_server/server/playground-server.scm +++ b/_web_server/server/playground-server.scm @@ -108,7 +108,8 @@ (begin (display prefix) (display (apply format args)) - (newline)))))) + (newline)))) + (force-output (current-output-port)))) ;;; ;;; Return directory list @@ -587,6 +588,7 @@ (logger LOG-INFO "Max code size: ~a" max-code-size) (logger LOG-INFO "Work base path: '~a'" work-base) (logger LOG-INFO "Storage base path: '~a'" stor-base) + (logger LOG-INFO "Log level: '~a'" log-level) (run-server (make-page-handler host root INDEX-FILE