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

object, if required.

diff --git a/Lib/gzip.py b/Lib/gzip.py
index 1c196a8ed99a0da475150f3e9ca0c66b08656053..578a07bc6cc308d4637d851c531b3bc209bbe8e9 100644 (file)
--- a/Lib/gzip.py
+++ b/Lib/gzip.py
@@ -251,6 +251,11 @@ class GzipFile:
             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()