changeset 3693:87fa55a09f19

[project @ 2000-07-05 16:04:11 by jwe]
author jwe
date Wed, 05 Jul 2000 16:04:11 +0000
parents 3e474e5b2986
children 48415caaea35
files src/ChangeLog src/c-file-ptr-stream.cc
diffstat 2 files changed, 17 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2000-07-05  John W. Eaton  <jwe@bevo.che.wisc.edu>
+
+	* c-file-ptr-stream.cc (c_file_ptr_buf::close):
+	Return -1 if file pointer is NULL.
+	Set file pointer to 0 after closing.
+	(c_file_ptr_buf::~c_file_ptr_buf): Call close after flushing.
+
 2000-07-05  Steven G. Johnson  <stevenj@gil-galad.mit.edu>
 
 	* Makefile.in (BLAS_LIBS): Substitute here.
--- a/src/c-file-ptr-stream.cc
+++ b/src/c-file-ptr-stream.cc
@@ -45,6 +45,8 @@
 c_file_ptr_buf::~c_file_ptr_buf (void)
 {
   flush ();
+
+  close ();
 }
 
 // XXX FIXME XXX -- I'm sure there is room for improvement here...
@@ -154,8 +156,15 @@
 int
 c_file_ptr_buf::close (void)
 {
+  int retval = -1;
+
   if (f)
-    return fclose (f);
+    {
+      retval = fclose (f);
+      f = 0;
+    }
+
+  return retval;
 }
 
 void