# HG changeset patch
# User jwe
# Date 847343815 0
# Node ID 4de4cebed08851de626c06cc9b7354b372d7d2ee
# Parent  1d7925d6bede67cbe16036e8d58bfc0ee1873c23
[project @ 1996-11-07 05:16:19 by jwe]

diff -r 1d7925d6bede -r 4de4cebed088 src/ChangeLog
--- a/src/ChangeLog	Thu Nov 07 04:46:54 1996 +0000
+++ b/src/ChangeLog	Thu Nov 07 05:16:55 1996 +0000
@@ -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.
diff -r 1d7925d6bede -r 4de4cebed088 src/pager.cc
--- a/src/pager.cc	Thu Nov 07 04:46:54 1996 +0000
+++ b/src/pager.cc	Thu Nov 07 05:16:55 1996 +0000
@@ -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;