@@ -1,8 +1,8 @@
 #!/usr/local/bin/tclsh
-# FILE: "/diska/home/joze/src/tclreadline/tclreadlineSetup.tcl.in"
-# LAST MODIFICATION: "Fri Aug 27 16:08:15 1999 (joze)"
+# FILE: "/home/joze/src/tclreadline/tclreadlineSetup.tcl.in"
+# LAST MODIFICATION: "Sat Aug 28 23:58:03 1999 (joze)"
 # (C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
 # $Id$
 # ---
 #
 # tclreadline -- gnu readline for tcl
@@ -379,13 +379,15 @@
             catch {rename ::tclreadline::Exit ""}
             rename exit ::tclreadline::Exit
 
             proc exit {args} {
 
-                catch {
+                if {[catch {
                     ::tclreadline::readline write \
                     [::tclreadline::HistoryFileGet]
+                } msg]} {
+                    puts stderr $msg
                 }
 
                 if [catch "eval ::tclreadline::Exit $args" message] {
                     puts stderr "error:"
                     puts stderr "$message"