# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1555059964 -7200
# Node ID 26898e00ddff61134da16cc21ef7ee61d9d2b8bd
# Parent  fb482734e4294c8f6651e417a7de8f4304607eba
fix dav-sync push not deleting files

diff -r fb482734e429 -r 26898e00ddff dav/sync.c
--- a/dav/sync.c	Fri Apr 12 10:54:47 2019 +0200
+++ b/dav/sync.c	Fri Apr 12 11:06:04 2019 +0200
@@ -3551,7 +3551,7 @@
             } 
         }
 
-        if(nullstrcmp(etag, local_res->etag)) {
+        if(!nullstrcmp(etag, local_res->etag)) {
             // local resource metadata == remote resource metadata
             // resource can be deleted
             printf("delete: %s\n", res->path);
@@ -3574,6 +3574,8 @@
                 (*counter)++;
             }
         }
+        // else TODO: should we inform the user that the file was modified on
+        // the server and delete was skipped?
     }
     
     // cleanup