From b874dd0aaae8f7d23470b2f8c602923998eff799 Mon Sep 17 00:00:00 2001
From: Ralf Becker <ralfbecker@outdoor-training.de>
Date: Thu, 29 Sep 2011 10:53:33 +0000
Subject: [PATCH] fixed $infolog is no array

---
 webdav.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webdav.php b/webdav.php
index 7c6be75c0d..caecb5b119 100644
--- a/webdav.php
+++ b/webdav.php
@@ -94,4 +94,4 @@ if (strstr($user_agent, 'microsoft-webdav') !== false ||
 	$webdav_server->cnrnd = true;
 }
 $webdav_server->ServeRequest();
-//error_log(sprintf('WebDAV %s request: status "%s", took %5.3f s'.($headertime?' (header include took %5.3f s)':''),$_SERVER['REQUEST_METHOD'].' '.$_SERVER['PATH_INFO'],$webdav_server->_http_status,microtime(true)-$starttime,$headertime-$starttime));
+error_log(sprintf('WebDAV %s request: status "%s", took %5.3f s'.($headertime?' (header include took %5.3f s)':''),$_SERVER['REQUEST_METHOD'].' '.$_SERVER['PATH_INFO'],$webdav_server->_http_status,microtime(true)-$starttime,$headertime-$starttime));