diff src/oct-stream.h @ 3652:25e84fcef38a

[project @ 2000-03-31 08:50:48 by jwe]
author jwe
date Fri, 31 Mar 2000 08:50:50 +0000
parents 3843aa0767c8
children 13905c3a24af
line wrap: on
line diff
--- a/src/oct-stream.h	Fri Mar 31 07:12:30 2000 +0000
+++ b/src/oct-stream.h	Fri Mar 31 08:50:50 2000 +0000
@@ -364,7 +364,16 @@
 
   bool is_open (void) const { return open_state; }
 
-  void close (void) { open_state = false; }
+  virtual void do_close (void) { }
+
+  void close (void)
+    {
+      if (is_open ())
+	{
+	  open_state = false;
+	  do_close ();
+	}
+    }
 
   int file_number (void);