From 3ec9abad45912db2f35411566d678c41e478bbdf Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 9 May 2012 16:24:24 -0400 Subject: [PATCH] Flush debug outputs --- os2.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/os2.rkt b/os2.rkt index 0126b9a..2b2b31a 100644 --- a/os2.rkt +++ b/os2.rkt @@ -445,6 +445,7 @@ [processes (hash-set (vm-processes state) new-pid initial-process)] [next-process-id (+ new-pid 1)])) (printf "~a PID ~v (~a) started~n" (vm-name state) new-pid new-name) + (flush-output (current-output-port)) (run-trapk spawned-state spawning-pid k new-pid)) (define (print-kill vm-name pid-to-kill process-name reason) @@ -464,7 +465,8 @@ vm-name pid-to-kill process-name - reason)])) + reason)]) + (flush-output (current-output-port))) (define (do-kill pid-to-kill reason state) (cond