From 7c1d0dfdf116c0d82571747f5166527ca34d942a Mon Sep 17 00:00:00 2001
From: Ralf Becker <ralfbecker@outdoor-training.de>
Date: Tue, 22 Mar 2016 08:44:11 +0000
Subject: [PATCH] fix PHP Fatal error:  require_once(): Failed opening required
 HTTP/WebDAV/Server.php, caused by it's new location

---
 api/src/Vfs.php | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/api/src/Vfs.php b/api/src/Vfs.php
index f4b1092b4b..36a18fdaba 100644
--- a/api/src/Vfs.php
+++ b/api/src/Vfs.php
@@ -1663,11 +1663,7 @@ class Vfs extends Vfs\StreamWrapper
 			}
 			if (!$token)
 			{
-				if (strpos(ini_get('include_path'), EGW_API_INC) === false)
-				{
-					ini_set('include_path', EGW_API_INC.PATH_SEPARATOR.ini_get('include_path'));
-				}
-				require_once('HTTP/WebDAV/Server.php');
+				require_once(__DIR__.'/WebDAV/Server.php');
 				$token = HTTP_WebDAV_Server::_new_locktoken();
 			}
 			try {