branch | stable |
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):