diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
commit | 222b01f5169f1c7e69762e0e8904c24f78f71882 (patch) | |
tree | 8e932e12546bb991357ec48eb1638d1770be7a35 /maintenance/gearman/gearmanWorker.php | |
parent | 00ab76a6b686e98a914afc1975812d2b1aaa7016 (diff) |
update to MediaWiki 1.16.0
Diffstat (limited to 'maintenance/gearman/gearmanWorker.php')
-rw-r--r-- | maintenance/gearman/gearmanWorker.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintenance/gearman/gearmanWorker.php b/maintenance/gearman/gearmanWorker.php index 0b26ff9f..d6f3949f 100644 --- a/maintenance/gearman/gearmanWorker.php +++ b/maintenance/gearman/gearmanWorker.php @@ -4,6 +4,8 @@ $optionsWithArgs = array( 'fake-job', 'procs' ); require( dirname(__FILE__).'/../commandLine.inc' ); require( dirname(__FILE__).'/gearman.inc' ); +ini_set('memory_limit', '150M' ); + if ( isset( $options['procs'] ) ) { $procs = $options['procs']; if ( $procs < 1 || $procs > 1000 ) { |