diff src/octave.cc @ 176:86fe57141743

[project @ 1993-10-22 19:04:09 by jwe]
author jwe
date Fri, 22 Oct 1993 19:04:09 +0000 (1993-10-22)
parents 43074bfdc8c5
children 7a647cf4850c
line wrap: on
line diff
--- a/src/octave.cc
+++ b/src/octave.cc
@@ -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";
     }