DebugClients/Python/DebugClientBase.py

changeset 2371
72e2f353f34b
parent 2302
f29e9405c851
child 2376
a0409e65bd81
--- a/DebugClients/Python/DebugClientBase.py	Fri Jan 25 18:20:16 2013 +0100
+++ b/DebugClients/Python/DebugClientBase.py	Sat Jan 26 12:41:53 2013 +0100
@@ -16,6 +16,7 @@
 import time
 import imp
 import re
+import atexit
 
 
 import DebugProtocol
@@ -585,7 +586,10 @@
                 sys.modules['__main__'] = self.debugMod
                 self.debugMod.__dict__['__file__'] = sys.argv[0]
                 self.cover.start()
-                execfile(sys.argv[0], self.debugMod.__dict__)
+                try:
+                    execfile(sys.argv[0], self.debugMod.__dict__)
+                except SystemExit:
+                    atexit._run_exitfuncs()
                 self.cover.stop()
                 self.cover.save()
                 self.writestream.flush()

eric ide

mercurial