diff --git a/repository/webdav/lib.php b/repository/webdav/lib.php index 6df4a508864..be80b7520d2 100644 --- a/repository/webdav/lib.php +++ b/repository/webdav/lib.php @@ -134,6 +134,9 @@ class repository_webdav extends repository { $filedate = ''; } + // Remove the server URL from the path (if present), otherwise links will not work - MDL-37014 + $server = preg_quote($this->options['webdav_server']); + $v['href'] = preg_replace("#https?://{$server}#", '', $v['href']); if (!empty($v['resourcetype']) && $v['resourcetype'] == 'collection') { // a folder if (ltrim($path, '/') != urldecode(ltrim($v['href'], '/'))) {