From 2ad6957c73c689e0c705218514b05cc4c9d87be8 Mon Sep 17 00:00:00 2001
From: Ralf Becker <ralfbecker@outdoor-training.de>
Date: Thu, 11 Dec 2014 15:53:52 +0000
Subject: [PATCH] fixed fatal error caused by HTTP_WebDAV_Server moved

---
 phpgwapi/inc/class.egw_vfs.inc.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/phpgwapi/inc/class.egw_vfs.inc.php b/phpgwapi/inc/class.egw_vfs.inc.php
index 65dd99d9c7..32ae1a261c 100644
--- a/phpgwapi/inc/class.egw_vfs.inc.php
+++ b/phpgwapi/inc/class.egw_vfs.inc.php
@@ -1585,6 +1585,10 @@ class egw_vfs extends vfs_stream_wrapper
 			}
 			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');
 				$token = HTTP_WebDAV_Server::_new_locktoken();
 			}