From b1913f780a54c0e2b82986830be58d28acdb5b6f Mon Sep 17 00:00:00 2001 From: Andrew McMillan Date: Tue, 30 Mar 2010 10:44:20 +1300 Subject: [PATCH] Remember a script start time. --- htdocs/always.php | 1 + inc/always.php.in | 1 + 2 files changed, 2 insertions(+) diff --git a/htdocs/always.php b/htdocs/always.php index 522313ed..00b370f5 100644 --- a/htdocs/always.php +++ b/htdocs/always.php @@ -10,6 +10,7 @@ if ( preg_match('{/always.php$}', $_SERVER['SCRIPT_NAME'] ) ) header('Location: // Ensure the configuration starts out as an empty object. $c = (object) array(); +$c->script_start_time = microtime(true); // Ditto for a few other global things unset($session); unset($request); unset($dbconn); unset($_awl_dbconn); unset($include_properties); diff --git a/inc/always.php.in b/inc/always.php.in index 141a1102..4f8dc1ab 100644 --- a/inc/always.php.in +++ b/inc/always.php.in @@ -10,6 +10,7 @@ if ( preg_match('{/always.php$}', $_SERVER['SCRIPT_NAME'] ) ) header('Location: // Ensure the configuration starts out as an empty object. $c = (object) array(); +$c->script_start_time = microtime(true); // Ditto for a few other global things unset($session); unset($request); unset($dbconn); unset($_awl_dbconn); unset($include_properties);