changeset 176:86fe57141743

[project @ 1993-10-22 19:04:09 by jwe]
author jwe
date Fri, 22 Oct 1993 19:04:09 +0000
parents bff84a41f944
children 198c555813f0
files src/octave.cc
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/octave.cc	Fri Oct 22 19:03:52 1993 +0000
+++ b/src/octave.cc	Fri Oct 22 19:04:09 1993 +0000
@@ -316,8 +316,11 @@
 clean_up_and_exit (int retval)
 {
   raw_mode (0);
+
   clean_up_history ();
+
   close_plot_stream ();
+
   close_files ();
 
   if (!quitting_gracefully && (interactive || forced_interactive))
@@ -468,6 +471,7 @@
   if (setjmp (toplevel) != 0)
     {
       raw_mode (0);
+
       cout << "\n";
     }