--- 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