The djvutxt utility of DjVuLibre 3.5.24 packed with Ubuntu 12.04 use a lot
of memory more that the old version packed with Ubuntu 10.04. S, to work,
the memory limit must be increased.
User:Phe suggest that this increase of memory consumption is maybe caused
by the loading of localisations file at the start of the tool.
Change-Id: Ia735e1b7d71f5aa512fb14e444989854c440074e
$cmd = wfEscapeShellArg( $wgDjvuTxt ) . ' --detail=page ' . wfEscapeShellArg( $this->mFilename ) ;
wfDebug( __METHOD__.": $cmd\n" );
$retval = '';
- $txt = wfShellExec( $cmd, $retval );
+ $txt = wfShellExec( $cmd, $retval, array(), array( 'memory' => 300000 ) );
wfProfileOut( 'djvutxt' );
if( $retval == 0) {
# Strip some control characters