diff --git a/src/contracting/execution/executor.py b/src/contracting/execution/executor.py index c11bada9..166c2d21 100644 --- a/src/contracting/execution/executor.py +++ b/src/contracting/execution/executor.py @@ -139,6 +139,9 @@ def execute(self, sender, contract_name, function_name, kwargs, if auto_commit: driver.flush_cache() + finally: + runtime.rt.tracer.stop() + #runtime.rt.tracer.stop() # Deduct the stamps if that is enabled