# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1565457509 -7200
# Node ID ab669d21f82a3e50412b177180a4fc1310b3b538
# Parent  e72d2b99b0f63a9a863e064ce1a1d293c6553513
add missing isdirectory tag in db on push

diff -r e72d2b99b0f6 -r ab669d21f82a dav/sync.c
--- a/dav/sync.c	Sat Aug 10 14:25:03 2019 +0200
+++ b/dav/sync.c	Sat Aug 10 19:18:29 2019 +0200
@@ -2739,9 +2739,13 @@
         
         if(nullstrcmp(db_res->link_target, res->link_target)) {
             res->link_updated = 1;
-        } else if(db_res->last_modified == res->last_modified && db_res->size == res->size) {
+        } else if(
+                db_res->last_modified == res->last_modified &&
+                db_res->size == res->size &&
+                db_res->isdirectory == res->isdirectory)
+        {
             return 0;
-        }     
+        }
         
         if(db_res->parts) {
             // if the resource is splitted, move the part infos to the new