diff options
Diffstat (limited to 'resources/tools')
-rwxr-xr-x | resources/tools/virl/bin/stop-testcase | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/resources/tools/virl/bin/stop-testcase b/resources/tools/virl/bin/stop-testcase index 1175fcf2b5..572d5d6e8d 100755 --- a/resources/tools/virl/bin/stop-testcase +++ b/resources/tools/virl/bin/stop-testcase @@ -20,5 +20,8 @@ NFS_SCRATCH_SERVERDIR="/nfs/scratch" # Our own (NFS s TESTCASE=$1 -virl_std_client -u $VIRL_USER -p $VIRL_PASSWORD simengine-stop --session-id $TESTCASE -sudo rm -fr ${NFS_SCRATCH_SERVERDIR}/${TESTCASE} +if [ "x${TESTCASE}" != "x" ] +then + virl_std_client -u $VIRL_USER -p $VIRL_PASSWORD simengine-stop --session-id $TESTCASE + sudo rm -fr ${NFS_SCRATCH_SERVERDIR}/${TESTCASE} +fi |