# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1566723453 -7200
# Node ID b7de5ecc30fa677385bcce761475d05e909a95ac
# Parent  2e1b5929082912028d6368fe549700e8a56f9839
don't print error in case rmdir fails because of ENOTEMPTY

diff -r 2e1b59290829 -r b7de5ecc30fa dav/sync.c
--- a/dav/sync.c	Sun Aug 25 09:43:12 2019 +0200
+++ b/dav/sync.c	Sun Aug 25 10:57:33 2019 +0200
@@ -1588,7 +1588,13 @@
     
     printf("delete: %s\n", res->path);
     if(rmdir(local_path)) {
-        fprintf(stderr, "rmdir: %s : %s", local_path, strerror(errno));
+        // don't print error when dirs are not empty
+        // because that can regulary happen, because the pull conflict
+        // detection can prevent files from being deleted and in this case
+        // the parent dir is not empty
+        if(errno != ENOTEMPTY) {
+            fprintf(stderr, "rmdir: %s : %s\n", local_path, strerror(errno));
+        }
         ret = 1;
     }