diff -r 8c8aed7e1756 -r e5909dff0dbf dav/main.c
--- a/dav/main.c	Sun Jul 02 12:06:45 2023 +0200
+++ b/dav/main.c	Sun Jul 02 13:23:51 2023 +0200
@@ -1929,7 +1929,7 @@
     char *path = NULL;
     Repository *repo = url2repo(url, &path);
     DavSession *sn = connect_to_repo(ctx, repo, path, request_auth, a);
-    util_regdestr(sn->mp, path, free);
+    cxMempoolRegister(sn->mp, path, free);
     
     if(set_session_config(sn, a)) {
         return -1;
@@ -2002,7 +2002,7 @@
     char *path = NULL;
     Repository *repo = url2repo(url, &path);
     DavSession *sn = connect_to_repo(ctx, repo, path, request_auth, a);
-    util_regdestr(sn->mp, path, free);
+    cxMempoolRegister(sn->mp, path, free);
     if(set_session_config(sn, a)) {
         return -1;
     }