gbili/webservice
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add generation time in HTML output

Browse Source
This commit is contained in:
Gilles Crettenand
2015-06-04 08:36:39 +02:00
committed by Gilles Crettenand
parent 1f0ea89f2b
commit 7c9fe02931
3 changed files with 18 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
Lib/Logger.php
View File

@@ -62,10 +62,10 @@ class Logger {
self::info($data);
}
if(Configuration::get('log.verbosity') > Logger::QUIET) {
$time = (microtime(true) - self::$start) * 1000;
self::$data['time'] = round($time, 2).'ms';
$time = (microtime(true) - self::$start) * 1000;
self::$data['time'] = round($time, 2).'ms';
if(Configuration::get('log.verbosity') > Logger::QUIET) {
$format = Configuration::get('log.format');
$patterns = array_map(function($p) { return "%$p%"; }, array_keys(self::$data));
@@ -78,4 +78,8 @@ class Logger {
file_put_contents(Configuration::get('log.file'), $msg, FILE_APPEND | LOCK_EX);
}
}
public static function data() {
return self::$data;
}
}