dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ed7d87d
)
Log job execution time
author
Tim Starling
<tstarling@users.mediawiki.org>
Mon, 3 Jul 2006 16:41:07 +0000
(16:41 +0000)
committer
Tim Starling
<tstarling@users.mediawiki.org>
Mon, 3 Jul 2006 16:41:07 +0000
(16:41 +0000)
includes/Wiki.php
patch
|
blob
|
history
diff --git
a/includes/Wiki.php
b/includes/Wiki.php
index
b50f510
..
4c4a831
100644
(file)
--- a/
includes/Wiki.php
+++ b/
includes/Wiki.php
@@
-285,8
+285,14
@@
class MediaWiki {
while ( $n-- && false != ($job = Job::pop())) {
$output = $job->toString() . "\n";
- if ( !$job->run() ) {
- $output .= "Error: " . $job->getLastError() . "\n";
+ $t = -wfTime();
+ $success = $job->run();
+ $t += wfTime();
+ $t = round( $t*1000 );
+ if ( !$success ) {
+ $output .= "Error: " . $job->getLastError() . ", Time: $t ms\n";
+ } else {
+ $output .= "Success, Time: $t ms\n";
}
if ( $wgJobLogFile ) {
error_log( $output, 3, $wgJobLogFile );