diff options
Diffstat (limited to 'resources/libraries')
| -rw-r--r-- | resources/libraries/bash/function/common.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/resources/libraries/bash/function/common.sh b/resources/libraries/bash/function/common.sh index f08d7f2818..f07997dfc3 100644 --- a/resources/libraries/bash/function/common.sh +++ b/resources/libraries/bash/function/common.sh @@ -303,9 +303,6 @@ function reserve_testbed () { if [[ "${result}" == "0" ]]; then WORKING_TOPOLOGY="${topo}" echo "Reserved: ${WORKING_TOPOLOGY}" - python "${PYTHON_SCRIPTS_DIR}/topo_cleanup.py" -t "${topo}" || { - die "Testbed cleanup failed." - } trap "untrap_and_unreserve_testbed" EXIT || { message="TRAP ATTEMPT AND UNRESERVE FAILED, FIX MANUALLY." untrap_and_unreserve_testbed "${message}" || { @@ -313,6 +310,9 @@ function reserve_testbed () { } die "Trap attempt failed, unreserve succeeded. Aborting." } + python "${PYTHON_SCRIPTS_DIR}/topo_cleanup.py" -t "${topo}" || { + die "Testbed cleanup failed." + } break fi done |