From e23d04d5cbf14c1e895e1e16e4768302e19ee7ef Mon Sep 17 00:00:00 2001 From: ralf Date: Tue, 7 Jan 2025 14:31:58 +0100 Subject: [PATCH] ignore double slashes in the Request-URI --- api/src/WebDAV/Server.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/api/src/WebDAV/Server.php b/api/src/WebDAV/Server.php index 74f98f411b..10186c1cc0 100644 --- a/api/src/WebDAV/Server.php +++ b/api/src/WebDAV/Server.php @@ -180,6 +180,8 @@ class HTTP_WebDAV_Server // copy $_SERVER variables to local _SERVER array // so that derived classes can simply modify these $this->_SERVER = $_SERVER; + // ignore double slashes in the Request-URI + $this->_SERVER['REQUEST_URI'] = str_replace('//', '/', $_SERVER['REQUEST_URI']); } // }}}