From 7f95590a77d358a246f057f954c33bc8640e3def Mon Sep 17 00:00:00 2001
From: Sarah Hoffmann <lonvia@denofr.de>
Date: Mon, 21 Apr 2014 21:12:14 +0200
Subject: [PATCH] correct start time computation

fixes #125
---
 lib/log.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/log.php b/lib/log.php
index b08f5383..37d83c47 100644
--- a/lib/log.php
+++ b/lib/log.php
@@ -3,7 +3,7 @@
 	function logStart(&$oDB, $sType = '', $sQuery = '', $aLanguageList = array())
 	{
 		$aStartTime = explode('.',microtime(true));
-		if (!$aStartTime[1]) $aStartTime[1] = '0';
+		if (!isset($aStartTime[1])) $aStartTime[1] = '0';
 
 		$sOutputFormat = '';
 		if (isset($_GET['format'])) $sOutputFormat = $_GET['format'];
-- 
2.39.5