diff -r 6c09c023cda5 -r 617cc27f11af eric6/Debugger/DebuggerInterfacePython.py
--- a/eric6/Debugger/DebuggerInterfacePython.py Thu Dec 17 13:54:47 2020 +0100
+++ b/eric6/Debugger/DebuggerInterfacePython.py Thu Dec 17 14:20:51 2020 +0100
@@ -554,7 +554,6 @@
self.debugServer.masterClientConnected()
self.debugServer.initializeClient(debuggerId)
- # TODO: show info about new client
# perform auto-continue except for master
if (
@@ -586,7 +585,12 @@
if not self.__connections:
# no active connections anymore
- self.debugServer.signalLastClientExited()
+ try:
+ self.debugServer.signalLastClientExited()
+ except RuntimeError:
+ # debug server object might have been deleted already
+ # ignore this
+ pass
self.__autoContinued.clear()
def getDebuggerIds(self):
@@ -666,7 +670,8 @@
"""
Public method to set the environment for a program to debug, run, ...
- @param env environment settings (dictionary)
+ @param env environment settings
+ @type dict
"""
if self.__master:
self.__sendJsonCommand("RequestEnvironment", {"environment": env},
