changeset 1952:fe65885a1269

[project @ 1996-02-14 04:55:10 by jwe]
author jwe
date Wed, 14 Feb 1996 04:55:10 +0000
parents db375ab88640
children b7acdab21240
files src/variables.cc
diffstat 1 files changed, 10 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/variables.cc
+++ b/src/variables.cc
@@ -757,10 +757,19 @@
 	{
 	  // The value of `reading_fcn_file' will be restored to the
 	  // proper value when we unwind from this frame.
-
 	  reading_fcn_file = old_reading_fcn_file_state;
 
+	  // XXX FIXME XXX -- we shouldn't need both the
+	  // octave_command_history object and the
+	  // user_pref.saving_history variable...
+	  octave_command_history.ignore_entries ();
+
+	  add_unwind_protect (restore_command_history, 0);
+
+	  unwind_protect_int (user_pref.saving_history);
 	  unwind_protect_int (reading_script_file);
+
+	  user_pref.saving_history = 0;
 	  reading_script_file = 1;
 
 	  parse_and_execute (ffile, 1);