diff --git a/html/index.php b/html/index.php index 426f0df10..442832669 100755 --- a/html/index.php +++ b/html/index.php @@ -95,8 +95,8 @@ foreach ($_POST as $name => $value) $vars[$name] = $value; } -if(strstr($_SERVER['REQUEST_URI'], 'widescreen=yes')) { $_SESSION['widescreen'] = 1; } -if(strstr($_SERVER['REQUEST_URI'], 'widescreen=no')) { unset($_SESSION['widescreen']); } +if (strstr($_SERVER['REQUEST_URI'], 'widescreen=yes')) { $_SESSION['widescreen'] = 1; } +if (strstr($_SERVER['REQUEST_URI'], 'widescreen=no')) { unset($_SESSION['widescreen']); } $start = utime(); @@ -234,7 +234,7 @@ function popUp(URL) "); print_r($_GET); @@ -298,6 +298,12 @@ if ($config['page_gen']) ' Rows '.($db_stats['fetchrows']+0).'/'.round($db_stats['fetchrows_sec']+0,3).'s'. ' Column '.($db_stats['fetchcol']+0). '/'.round($db_stats['fetchcol_sec']+0,3).'s'); + $fullsize = memory_get_usage(); + unset($cache); + $cachesize = $fullsize - memory_get_usage(); + + echo('
Cached data in memory is '.formatStorage($cachesize).'. Page memory usage is '.formatStorage($fullsize).', peaked at '. formatStorage(memory_get_peak_usage()) .'.'); + echo('
Generated in ' . $gentime . ' seconds.'); } ?>