diff -r b3bc214cd479 -r 1e5ef464cade server/sources/native.py --- 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):