Added __del__ method to GzipFile class that will flush and close the

akuchling · akuchling · commit 916fcc3b1833 · 1999-08-10T13:19:30.000Z
object, if required.
diff --git a/Lib/gzip.py b/Lib/gzip.py
@@ -251,6 +251,11 @@ def close(self):
             self.myfileobj.close()
             self.myfileobj = None
 
+    def __del__(self):
+        if (self.myfileobj is not None or
+            self.fileobj is not None):
+            self.close()
+        
     def flush(self):
         self.fileobj.flush()
 
