DebugClients/Python/DebugBase.py

branch
debugger speed
changeset 5221
960afd19c1b6
parent 5209
cd058aa6af37
child 5222
6548dc1bfd48
equal deleted inserted replaced
5209:cd058aa6af37 5221:960afd19c1b6
748 748
749 self.currentFrame = frame 749 self.currentFrame = frame
750 stack = self.getStack(frame, applyTrace=True) 750 stack = self.getStack(frame, applyTrace=True)
751 751
752 self.isBroken = True 752 self.isBroken = True
753 self._dbgClient.lockClient()
754 self._dbgClient.currentThread = self
755 self._dbgClient.currentThreadExec = self
753 756
754 self._dbgClient.sendResponseLine(stack) 757 self._dbgClient.sendResponseLine(stack)
755 self._dbgClient.eventLoop() 758 self._dbgClient.eventLoop()
756 759
757 self.isBroken = False 760 self.isBroken = False
761 self._dbgClient.unlockClient()
758 762
759 def user_exception(self, frame, excinfo, unhandled=False): 763 def user_exception(self, frame, excinfo, unhandled=False):
760 """ 764 """
761 Public method reimplemented to report an exception to the debug server. 765 Public method reimplemented to report an exception to the debug server.
762 766

eric ide

mercurial