diff -r 7ed43dd4d5bf -r 9435cb1ddf76 dav/main.c
--- a/dav/main.c	Sat Oct 20 10:22:42 2018 +0200
+++ b/dav/main.c	Sat Oct 20 11:03:38 2018 +0200
@@ -2011,4 +2011,5 @@
         fprintf(stderr, "Repository %s does not exist.\n", reponame.ptr);
         return -1;
     }
+    return 0;
 }