mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-10 11:55:49 +00:00
Bug 1172800 - Fixup after bug 991983. r=gps
This commit is contained in:
parent
ad90bd664a
commit
0d786e2057
@ -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):
|
||||
|
Loading…
Reference in New Issue
Block a user