Gecko [ paroquia-rio-de-mouro.pt ]

Name	Size	Permission	Date
compiler.conf	123 B	-rw-r--r--	2011-06-02 04:44
extra-files	773 B	-rw-r--r--	2011-05-18 19:31
make	8.55 KB	-rwxr-xr-x	2011-05-30 15:49
run-server	1.79 KB	-rwxr-xr-x	2011-05-31 07:50
server.conf	490 B	-rw-r--r--	2011-05-31 07:50

Rename

#!/usr/bin/hphpi -f
<?php

require( dirname( __FILE__ ) . '/../Maintenance.php' );

class RunHipHopServer extends Maintenance {
	function __construct() {
		parent::__construct();
		$this->addOption( 'interpret', 'Run in interpreted mode' );
	}

function execute() {
		if ( $this->hasOption( 'interpret' ) ) {
			$this->runInterpreted();
		} else {
			$this->runCompiled();
		}
	}

function runCompiled() {
		global $wgHipHopBuildDirectory;
		$thisDir = realpath( dirname( __FILE__ ) );
		$IP = realpath( "$thisDir/../.." );
		if ( strval( $wgHipHopBuildDirectory ) !== '' ) {
			$buildDir = $wgHipHopBuildDirectory;
		} else {
			$buildDir = "$thisDir/build";
		}

if ( file_exists( "$buildDir/source" ) ) {
			$sourceBase = "$buildDir/source";
		} else {
			$sourceBase = realpath( "$IP/.." );
		}

passthru( 
			'cd ' . wfEscapeShellArg( $sourceBase ) . " && " .
			'MW_INSTALL_PATH=' . wfEscapeShellArg( $IP ) . ' ' .
			wfEscapeShellArg( 
				"$buildDir/persistent/mediawiki-hphp",
				'-c', "$thisDir/server.conf",
				'-v', "Server.SourceRoot=$sourceBase",
				'-v', "Server.IncludeSearchPaths.0=$sourceBase",
				'-v', 'ServerVariables.MW_COMPILED=1',
				'--mode=server',
				'--port=8080'
			),
			$ret
		);
		exit( $ret );
	}

function runInterpreted() {
		$thisDir = realpath( dirname( __FILE__ ) );
		$IP = realpath( "$thisDir/../.." );
		$sourceBase = realpath( "$IP/.." );

passthru(
			'cd ' . wfEscapeShellArg( $sourceBase ) . " && " .
			'MW_INSTALL_PATH=' . wfEscapeShellArg( $IP ) . ' ' .
			wfEscapeShellArg(
				'hphpi',
				'-c', "$thisDir/server.conf",
				'-v', "Server.SourceRoot=$sourceBase",
				'-v', "Server.IncludeSearchPaths.0=$sourceBase",
				'--mode=server',
				'--port=8080'
			),
			$ret
		);
		exit( $ret );
	}
}
$maintClass = 'RunHipHopServer';
require_once( RUN_MAINTENANCE_IF_MAIN );