# HG changeset patch
# User jwe
# Date 751316649 0
# Node ID 86fe571417434afb82990b51d1c4ffea91f55d29
# Parent  bff84a41f944f39d84c3a752c05d2b1e2b74afab
[project @ 1993-10-22 19:04:09 by jwe]

diff -r bff84a41f944 -r 86fe57141743 src/octave.cc
--- 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";
     }