From 612fdd71cb9261cb95b6d1b7e73722cbcaafc735 Mon Sep 17 00:00:00 2001
From: Ralf Becker <RalfBecker@outdoor-training.de>
Date: Tue, 22 Oct 2019 15:29:23 +0200
Subject: [PATCH] permanent redirect requests to filemanager/webdav.php to
 webdav.php

---
 filemanager/webdav.php | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/filemanager/webdav.php b/filemanager/webdav.php
index e0f9874c71..435da2e543 100644
--- a/filemanager/webdav.php
+++ b/filemanager/webdav.php
@@ -1,6 +1,6 @@
 <?php
 /**
- * eGroupWare - WebDAV access
+ * EGroupware - old WebDAV access
  *
  * Just for backward compatibility of the url: better use the webdav.php in the root.
  *
@@ -8,8 +8,10 @@
  * @license http://opensource.org/licenses/gpl-license.php GPL - GNU General Public License
  * @package filemanager
  * @author Ralf Becker <RalfBecker-AT-outdoor-training.de>
- * @copyright (c) 2008 by Ralf Becker <RalfBecker-AT-outdoor-training.de>
- * @version $Id$
+ * @copyright (c) 2008-19 by Ralf Becker <RalfBecker-AT-outdoor-training.de>
  */
 
-include('../webdav.php');
\ No newline at end of file
+// we permanent redirect to the correct URL instead of processing the request under the old url
+// (processing under misses certain special handling like not access_logging the request)
+http_response_code(301);
+header('Location: '.str_replace('/filemanager/webdav.php/', '/webdav.php/', $_SERVER['REQUEST_URI']));