diff options
Diffstat (limited to 'examples')
| -rwxr-xr-x | examples/scalingtime.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/scalingtime.py b/examples/scalingtime.py index 547622f..920553c 100755 --- a/examples/scalingtime.py +++ b/examples/scalingtime.py @@ -243,10 +243,12 @@ exp = exp_class(testbed, nodes=nodes) if __name__ == "__main__": draw_experiment(exp) - with ExperimentManager(exp, swap_out_strategy=args.swapout): + with ExperimentManager(exp, swap_out_strategy=args.swapout) as expM: exp.swap_in() if not isinstance(testbed, docker.Testbed) \ and not isinstance(testbed, qemu.Testbed) \ and not isinstance(testbed, local.Testbed): exp.install_prototype() exp.bootstrap_prototype() + + exit(expM.exit_status) |
