diff src/toplev.cc @ 5305:539428e4606a

[project @ 2005-04-26 02:59:08 by jwe]
author jwe
date Tue, 26 Apr 2005 02:59:08 +0000
parents fe5ee25a5e6c
children 4c8a2e4e0717
line wrap: on
line diff
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -545,6 +545,8 @@
       // XXX FIXME XXX -- is this needed?  Can it cause any trouble?
       raw_mode (0);
 
+      octave_history_write_timestamp ();
+
       command_history::clean_up_and_save ();
 
       close_files ();
@@ -553,7 +555,7 @@
 
       flush_octave_stdout ();
 
-      if (!quitting_gracefully && (interactive || forced_interactive))
+      if (! quitting_gracefully && (interactive || forced_interactive))
 	std::cout << "\n";
     }
 }