diff options
| -rwxr-xr-x | testsuites/rubbos/run_rubbos.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuites/rubbos/run_rubbos.py b/testsuites/rubbos/run_rubbos.py index 97b5357c..fc177ccb 100755 --- a/testsuites/rubbos/run_rubbos.py +++ b/testsuites/rubbos/run_rubbos.py @@ -375,9 +375,11 @@ def main(): time.sleep(150) reboot_instances() - time.sleep(30) + time.sleep(180) rubbos_run() + time.sleep(30) + rubbos_env_cleanup() if __name__=='__main__': |