diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
| commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
| tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/runJobs.php | |
| parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) | |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'maintenance/runJobs.php')
| -rw-r--r-- | maintenance/runJobs.php | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/maintenance/runJobs.php b/maintenance/runJobs.php index 343cda8a..91168e59 100644 --- a/maintenance/runJobs.php +++ b/maintenance/runJobs.php @@ -12,15 +12,16 @@ if ( isset( $options['maxjobs'] ) ) { $maxJobs = 10000; } -// Trigger errors on inappropriate use of $wgTitle -$wgTitle = new FakeTitle; +$wgTitle = Title::newFromText( 'RunJobs.php' ); -$dbw =& wfGetDB( DB_MASTER ); +$dbw = wfGetDB( DB_MASTER ); $n = 0; while ( $dbw->selectField( 'job', 'count(*)', '', 'runJobs.php' ) ) { - while ( false != ($job = Job::pop()) ) { + $offset=0; + while ( false != ($job = Job::pop($offset)) ) { wfWaitForSlaves( 5 ); print $job->id . " " . $job->toString() . "\n"; + $offset=$job->id; if ( !$job->run() ) { print "Error: {$job->error}\n"; } |