Cleanup __del__.

You never need an __del__ to close a file.  A file closes itself when
it is deallocated.

Don't give an object a magic __del__ attribute.  It won't work with
new-style classes, and it's obscure anyway.

lib/python/Products/OFSP/Draft.py

@@ -79,12 +79,11 @@ class Draft(Persistent, Implicit, SimpleItem.Item):
         try: db=self._p_jar.db()
         except:
             # BoboPOS 2
-            jar=Globals.VersionBase[self._version].jar
+            jar = Globals.VersionBase[self._version].jar
         else:
             # ZODB 3
-            jar=db.open(self._version)
-            cleanup=Cleanup()
-            cleanup.__del__=jar.close
+            jar = db.open(self._version)
+            cleanup = Cleanup(jar)
             REQUEST[Cleanup]=cleanup
 
 
@@ -159,4 +158,9 @@ def getdraft(ob, jar):
     return ob
 
 
-class Cleanup: pass
+class Cleanup:
+    def __init__(self, jar):
+        self._jar = jar
+
+    def __del__(self):
+        self._jar.close()

lib/python/webdav/xmltools.py

@@ -17,7 +17,7 @@
    in favor of a standard xml package once some issues are
    worked out."""
 
-__version__='$Revision: 1.14 $'[11:-2]
+__version__='$Revision: 1.15 $'[11:-2]
 
 import sys, os
 import Shared.DC.xml.xmllib
@@ -102,10 +102,6 @@ class Document(Node):
             result.append(node.toxml())
         return ''.join(result)
 
-    #def __del__(self):
-    #    self.document=None
-    #    print 'bye!'
-
 class Element(Node):
     __type__=type_element