From 793d2a4d85e1301f9891069a5d1e19acdc327113 Mon Sep 17 00:00:00 2001 From: Richard van Velzen Date: Sat, 31 Dec 2011 11:28:35 +0100 Subject: [PATCH] Added extra info to the output --- lime.php | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/lime.php b/lime.php index 09544a2..d9d2a42 100755 --- a/lime.php +++ b/lime.php @@ -1346,6 +1346,9 @@ if ($_SERVER['argv']) { } array_shift($_SERVER['argv']); // Strip out the program name. + + $timer = microtime(true); + foreach ($_SERVER['argv'] as $path) { $code .= parse_lime_grammar($path); } @@ -1368,4 +1371,8 @@ if ($_SERVER['argv']) { */ {$code} CODE; + +echo PHP_EOL + . '// Time: ' . (microtime(true) - $timer) . ' seconds' . PHP_EOL + . '// Memory: ' . memory_get_peak_usage() . ' bytes' . PHP_EOL; }