From 09ab47269578b2671bfc382916dd4420e0447dc4 Mon Sep 17 00:00:00 2001
From: mainzelm <mainzelm>
Date: Mon, 25 Feb 2002 09:00:39 +0000
Subject: [PATCH] + Greet with scsh-version-string + call relinquish-timeslice
 twice before exit so the flushers may run

---
 scsh/top.scm | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/scsh/top.scm b/scsh/top.scm
index f4af4dd..1cdaabd 100644
--- a/scsh/top.scm
+++ b/scsh/top.scm
@@ -344,7 +344,10 @@
 		    args 
 		    context 
 		    (lambda () 
-		      (display "Welcome to scsh 0.6.0 (Chinese Democracy)" 
+		      (display (string-append 
+				"Welcome to scsh "
+				scsh-version-string
+				" (Combinatorial Algorithms)")
 			       (current-output-port))
 		      (newline (current-output-port))
 		      (display "Type ,? for help."
@@ -378,7 +381,9 @@
 
 ;;; placeholder for an extensible mechanism in the future
 (define (call-exit-hooks)
-  (flush-all-ports))
+  (flush-all-ports)
+  (relinquish-timeslice)
+  (relinquish-timeslice))
 
 (define (load-library-file file lib-dirs script-file)
 ; (format (error-output-port) "Load-library-file: ~a ~s\n" file lib-dirs)