From c906d348800c8371eb65398aef76c75ccfd2a9af Mon Sep 17 00:00:00 2001 From: Ralf Becker Date: Fri, 25 Apr 2008 19:07:25 +0000 Subject: [PATCH] "some (not-required, so no header update neccessary) updates for the header template" --- header.inc.php.template | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/header.inc.php.template b/header.inc.php.template index f504b04e3a..c0170f70ee 100644 --- a/header.inc.php.template +++ b/header.inc.php.template @@ -48,10 +48,10 @@ $GLOBALS['egw_info']['server']['db_persistent'] = {DB_PERSISTENT}; /* - ** eGroupWare can handle session management using the database or + ** eGroupWare can handle session management using the database or ** the session support built into PHP4 which usually gives better - ** performance. - ** Your choices are 'db' or 'php4' + ** performance. + ** Your choices are 'db', 'php4' or 'php4-restore' */ $GLOBALS['egw_info']['server']['sessions_type'] = '{SESSIONS_TYPE}'; @@ -79,7 +79,7 @@ else { // allow caching by browser - session_cache_limiter(PHP_VERSION >= 4.2 ? 'private_no_expire' : 'private'); + session_cache_limiter('private_no_expire'); } /* debugging settings */ @@ -90,12 +90,7 @@ define('DEBUG_OUTPUT', 2); /* 1 = screen, 2 = DB. For both use 3. */ define('DEBUG_TIMER', False); - function perfgetmicrotime() - { - list($usec, $sec) = explode(' ',microtime()); - return ((float)$usec + (float)$sec); - } - $GLOBALS['egw_info']['flags']['page_start_time'] = perfgetmicrotime(); + $GLOBALS['egw_info']['flags']['page_start_time'] = microtime(true); /**************************************************************************\ * Do not edit these lines *