Bug 1172800 - Fixup after bug 991983. r=gps

This commit is contained in:
Mike Hommey 2015-06-04 17:24:13 +09:00
parent 1f8e80ba43
commit 6421f64a64

View File

@ -213,7 +213,7 @@ class Sandbox(dict):
raise SandboxExecutionError(source_stack, exc[0], exc[1], exc[2])
finally:
self._context._sandbox = old_sandbox
if path:
if path and becomes_current_path:
self._context.pop_source()
def push_subcontext(self, context):