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

use MediaWiki\Shell\Shell;

require __DIR__ . '/../Maintenance.php';

class RunHipHopServer extends Maintenance {
	function __construct() {
		parent::__construct();
	}

	function execute() {
		global $IP;

		passthru(
			'cd ' . Shell::escape( $IP ) . " && " .
			Shell::escape(
				'hhvm',
				'-c', __DIR__."/server.conf",
				'--mode=server',
				'--port=8080'
			),
			$ret
		);
		exit( $ret );
	}
}
$maintClass = RunHipHopServer::class;
require_once RUN_MAINTENANCE_IF_MAIN;
