X-Git-Url: https://scripts.mit.edu/gitweb/autoinstallsdev/mediawiki.git/blobdiff_plain/19e297c21b10b1b8a3acad5e73fc71dcb35db44a..6932310fd58ebef145fa01eb76edf7150284d8ea:/maintenance/hhvm/run-server

diff --git a/maintenance/hhvm/run-server b/maintenance/hhvm/run-server
new file mode 100755
index 00000000..2d71b871
--- /dev/null
+++ b/maintenance/hhvm/run-server
@@ -0,0 +1,28 @@
+#!/usr/bin/hhvm -f
+<?php
+
+require __DIR__ . '/../Maintenance.php';
+
+class RunHipHopServer extends Maintenance {
+	function __construct() {
+		parent::__construct();
+	}
+
+	function execute() {
+		global $IP;
+
+		passthru(
+			'cd ' . wfEscapeShellArg( $IP ) . " && " .
+			wfEscapeShellArg(
+				'hhvm',
+				'-c', __DIR__."/server.conf",
+				'--mode=server',
+				'--port=8080'
+			),
+			$ret
+		);
+		exit( $ret );
+	}
+}
+$maintClass = 'RunHipHopServer';
+require_once RUN_MAINTENANCE_IF_MAIN;