settings should not be affected by exceptions.

2014-08-11 17:27:40 +02:00
parent f1711f8f9c
commit 526af7ccbe
2 changed files with 31 additions and 25 deletions
--- a/jedi/common.py
+++ b/jedi/common.py
@@ -92,9 +92,11 @@ def scale_speed_settings(factor):
    b = settings.max_until_execution_unique
    settings.max_executions *= factor
    settings.max_until_execution_unique *= factor
-    yield
-    settings.max_executions = a
-    settings.max_until_execution_unique = b
+    try:
+        yield
+    finally:
+        settings.max_executions = a
+        settings.max_until_execution_unique = b


 def indent_block(text, indention='    '):