diff -r 3cfe65695a8c -r 36a7f2ea7d12 dav/error.h
--- a/dav/error.h	Thu Jul 20 21:16:19 2023 +0200
+++ b/dav/error.h	Thu Jul 20 21:55:45 2023 +0200
@@ -36,6 +36,7 @@
 #endif
 
 void print_resource_error(DavSession *sn, const char *path);
+void print_resource_error_to_file(FILE *file, DavSession *sn, const char *path);
 
 
 #ifdef __cplusplus