function processOptions() { global $IP; parent::processOptions(); if ($this->hasOption('buffersize')) { $this->bufferSize = max(intval($this->getOption('buffersize')), 4 * 1024); } if ($this->hasOption('prefetch')) { require_once "{$IP}/maintenance/backupPrefetch.inc"; $url = $this->processFileOpt($this->getOption('prefetch')); $this->prefetch = new BaseDump($url); } if ($this->hasOption('stub')) { $this->input = $this->processFileOpt($this->getOption('stub')); } if ($this->hasOption('maxtime')) { $this->maxTimeAllowed = intval($this->getOption('maxtime')) * 60; } if ($this->hasOption('checkpointfile')) { $this->checkpointFiles = $this->getOption('checkpointfile'); } if ($this->hasOption('current')) { $this->history = WikiExporter::CURRENT; } if ($this->hasOption('full')) { $this->history = WikiExporter::FULL; } if ($this->hasOption('spawn')) { $this->spawn = true; $val = $this->getOption('spawn'); if ($val !== 1) { $this->php = $val; } } }
function processOptions() { parent::processOptions(); // Evaluate options specific to this class $this->reporting = !$this->hasOption('quiet'); if ($this->hasOption('pagelist')) { $filename = $this->getOption('pagelist'); $pages = file($filename); if ($pages === false) { $this->fatalError("Unable to open file {$filename}\n"); } $pages = array_map('trim', $pages); $this->pages = array_filter($pages, function ($x) { return $x !== ''; }); } if ($this->hasOption('start')) { $this->startId = intval($this->getOption('start')); } if ($this->hasOption('end')) { $this->endId = intval($this->getOption('end')); } if ($this->hasOption('revstart')) { $this->revStartId = intval($this->getOption('revstart')); } if ($this->hasOption('revend')) { $this->revEndId = intval($this->getOption('revend')); } $this->skipHeader = $this->hasOption('skip-header'); $this->skipFooter = $this->hasOption('skip-footer'); $this->dumpUploads = $this->hasOption('uploads'); $this->dumpUploadFileContents = $this->hasOption('include-files'); }
function processOptions() { parent::processOptions(); // Evaluate options specific to this class $this->reporting = !$this->hasOption('quiet'); if ($this->hasOption('pagelist')) { $olddir = getcwd(); chdir($originalDir); $pages = file($this->getOption('quiet')); chdir($olddir); if ($pages === false) { echo "Unable to open file {$options['pagelist']}\n"; die(1); } $pages = array_map('trim', $pages); $this->pages = array_filter($pages, create_function('$x', 'return $x !== "";')); } if ($this->hasOption('start')) { $this->startId = intval($this->getOption('start')); } if ($this->hasOption('end')) { $this->endId = intval($this->getOption('end')); } if ($this->hasOption('revstart')) { $this->revStartId = intval($this->getOption('revstart')); } if ($this->hasOption('revend')) { $this->revEndId = intval($this->getOption('revend')); } $this->skipHeader = $this->hasOption('skip-header'); $this->skipFooter = $this->hasOption('skip-footer'); $this->dumpUploads = $this->hasOption('uploads'); $this->dumpUploadFileContents = $this->hasOption('include-files'); }