# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1564776328 -7200
# Node ID 66dc8b992d8df5eb7fd41d5ff8dfb0b17f15939a
# Parent  a7c48e0dca882e77cfc9b5cab5c89211c05a4320
fix build on linux

diff -r a7c48e0dca88 -r 66dc8b992d8d dav/system.c
--- a/dav/system.c	Fri Aug 02 22:04:00 2019 +0200
+++ b/dav/system.c	Fri Aug 02 22:05:28 2019 +0200
@@ -112,7 +112,8 @@
     if(!lstat(path, &s)) {
         return S_ISLNK(s.st_mode);
     }
-}   return 0;
+    return 0;
+}
 
 int sys_rename(const char *oldpath, const char *newpath) {
     return rename(oldpath, newpath);