server/sources/native.py
changeset 5736 375819ec7d43
parent 5691 ba2347050144
parent 5729 b00cf7fbff31
child 5752 b0bb553e3be4
equal deleted inserted replaced
5728:12d3da7b3bcf 5736:375819ec7d43
   742         finally:
   742         finally:
   743             self._eid_creation_lock.release()
   743             self._eid_creation_lock.release()
   744 
   744 
   745 
   745 
   746     def create_eid(self, session):
   746     def create_eid(self, session):
   747         self.debug('create eid')
       
   748         # lock needed to prevent 'Connection is busy with results for another command (0)' errors with SQLServer
   747         # lock needed to prevent 'Connection is busy with results for another command (0)' errors with SQLServer
   749         self._eid_creation_lock.acquire()
   748         self._eid_creation_lock.acquire()
   750         try:
   749         try:
   751             return self._create_eid()
   750             return self._create_eid()
   752         finally:
   751         finally: