1 files changed, 28 insertions, 0 deletions
diff --git a/www/wiki/maintenance/hhvm/run-server b/www/wiki/maintenance/hhvm/run-server
new file mode 100755
index 00000000..d84e02f2
--- /dev/null
+++ b/www/wiki/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::class;
+require_once RUN_MAINTENANCE_IF_MAIN;