changeset 2476:4de4cebed088

[project @ 1996-11-07 05:16:19 by jwe]
author jwe
date Thu, 07 Nov 1996 05:16:55 +0000
parents 1d7925d6bede
children 3d905d3820a4
files src/ChangeLog src/pager.cc
diffstat 2 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 Wed Nov  6 12:32:48 1996  John W. Eaton  <jwe@bevo.che.wisc.edu>
 
+	* pager.cc (do_sync): Don't call clear_external_pager here.
+
 	* pt-const.h (tree_constant::allocator) New static member.
 	(tree_constant::operator new, tree_constant::operator delete):
 	Implement with custom allocator.
--- a/src/pager.cc
+++ b/src/pager.cc
@@ -113,11 +113,10 @@
 	  // If this message is printed with warning(), we eventually
 	  // crash.
 
-	  cout
-	    << "warning: connection to external pager (pid = "
-	    << pid << ") lost --" << endl
-	    << "warning: pending computations and output have been discarded"
-	    << endl;
+	  cout << "warning: connection to external pager (pid = "
+	       << pid << ") lost --" << endl
+	       << "warning: pending computations and output may be lost"
+	       << endl;
 	}
     }
 }
@@ -167,7 +166,6 @@
 		      && external_pager->good ())
 		    external_pager->flush ();
 		}
-	      clear_external_pager ();
 	    }
 	  else
 	    cout << msg;