diff -r 7cfd36aa005b -r af411868ab9b libidav/config.c
--- a/libidav/config.c	Wed Jan 31 12:55:11 2024 +0100
+++ b/libidav/config.c	Tue Feb 06 14:17:22 2024 +0100
@@ -579,6 +579,9 @@
         stype = "https";
     } else if(type == DAV_HTTP_PROXY) {
         stype = "http";
+    } else {
+        fprintf(stderr, "unknown proxy type\n");
+        return 1;
     }
     
     if(!proxy) {