# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1529824980 -7200
# Node ID f851ba530957542b6a326a95014be58b5d21217e
# Parent  84e6c407b43176a52c89b0031748692a517f4355
fixes dav test script

diff -r 84e6c407b431 -r f851ba530957 test/bin-test/test-dav.sh
--- a/test/bin-test/test-dav.sh	Sun Jun 17 09:50:05 2018 +0200
+++ b/test/bin-test/test-dav.sh	Sun Jun 24 09:23:00 2018 +0200
@@ -45,7 +45,7 @@
 
 # check for test repository
 TEST_REPO=`$DAV_BIN list-repos | grep dav-test-repo`
-if [ $TEST_REPO != "dav-test-repo" ];
+if [ -z $TEST_REPO ];
 then
 	echo "A dav repository with the name 'dav-test-repo' is needed."
 	exit 1
@@ -62,7 +62,7 @@
 }
 
 # clean test repo
-$DAV_BIN rm dav-test-repo/tests/ 2> /dev/null
+$DAV_BIN rm -N dav-test-repo/tests/ 2> /dev/null
 
 #
 # ok, begin the tests