server/sources/native.py
branchstable
changeset 5751 1e5ef464cade
parent 5749 b4393b681f7a
child 5752 b0bb553e3be4
child 5824 de9b7e88660e
--- a/server/sources/native.py	Tue Jun 15 18:00:29 2010 +0200
+++ b/server/sources/native.py	Tue Jun 15 18:00:30 2010 +0200
@@ -338,6 +338,7 @@
     def shutdown(self):
         if self._eid_creation_cnx:
             self._eid_creation_cnx.close()
+            self._eid_creation_cnx = None
 
     # XXX deprecates [un]map_attribute ?
     def map_attribute(self, etype, attr, cb, sourcedb=True):