From 53643147e15ad944b568d0a1785e638f449b66a5 Mon Sep 17 00:00:00 2001 From: Joe Marshall Date: Tue, 24 May 2011 10:12:35 -0700 Subject: [PATCH] Avoid leaving trailing whitespace on notifications. --- src/runtime/usrint.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/runtime/usrint.scm b/src/runtime/usrint.scm index 2b0a70233..3b59d9573 100644 --- a/src/runtime/usrint.scm +++ b/src/runtime/usrint.scm @@ -312,7 +312,7 @@ USA. (fresh-line port) (write-notification-prefix port) (message (wrap-notification-port port)) - (write-string "... " port) + (write-string "..." port) (set! n (output-port/bytes-written port)) unspecific)) (lambda () @@ -330,9 +330,9 @@ USA. (begin (fresh-line port) (write-notification-prefix port) - (write-string "... " port))) + (write-string "..." port))) (set! n) - (write-string (if done? "done" "aborted") port) + (write-string (if done? " done" " aborted") port) (newline port))))))) (define (wrap-notification-port port) -- 2.25.1