From e527aa1f32172543e28094245629dcca597b0641 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 10 Dec 2007 04:24:57 +0000
Subject: [PATCH] Use notification mechanism for SHOW-TIME.

---
 v7/src/runtime/global.scm | 21 +++++++++++----------
 1 file changed, 11 insertions(+), 10 deletions(-)

diff --git a/v7/src/runtime/global.scm b/v7/src/runtime/global.scm
index 948255f6c..10c977d62 100644
--- a/v7/src/runtime/global.scm
+++ b/v7/src/runtime/global.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: global.scm,v 14.79 2007/04/29 19:25:21 cph Exp $
+$Id: global.scm,v 14.80 2007/12/10 04:24:57 cph Exp $
 
 Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
@@ -198,15 +198,16 @@ USA.
 	     (process-time (- process-end process-start))
 	     (process-time/nogc
 	      (round->exact (* 1000 (- process-end/nogc process-start/nogc)))))
-	(write-string "process time: ")
-	(write process-time)
-	(write-string " (")
-	(write process-time/nogc)
-	(write-string " RUN + ")
-	(write (- process-time process-time/nogc))
-	(write-string " GC); real time: ")
-	(write (- real-end real-start))
-	(newline))
+	(write-notification-line
+	 (lambda (port)
+	   (write-string "process time: " port)
+	   (write process-time port)
+	   (write-string " (" port)
+	   (write process-time/nogc port)
+	   (write-string " RUN + " port)
+	   (write (- process-time process-time/nogc) port)
+	   (write-string " GC); real time: " port)
+	   (write (- real-end real-start) port))))
       value)))
 
 (define (wait-interval ticks)
-- 
2.25.1