MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Write snapshot even in case of sys.exit(0) (PY-15905)

Browse Source
This commit is contained in:
Dmitry Trofimov
2015-05-18 13:38:30 +02:00
parent fcdfc38e45
commit 74905c8473
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/helpers/profiler/run_profiler.py
+5 -4
View File
@@ -81,10 +81,11 @@ class Profiler(object):
self.start_profiling()
pydev_imports.execfile(file, globals, globals) # execute the script
self.stop_profiling()
self.save_snapshot(0, generate_snapshot_filepath(base_snapshot_path, remote_run), remote_run)
try:
pydev_imports.execfile(file, globals, globals) # execute the script
finally:
self.stop_profiling()
self.save_snapshot(0, generate_snapshot_filepath(base_snapshot_path, remote_run), remote_run)
def start_profiling(self):
self.profiling_backend.enable()