Postgres updater fixes to make update.php able to run
[mediawiki.git] / maintenance / hhvm / run-server
blob2d71b8712e1f8e2f893ff5d2c8c9d29ebea6c314
1 #!/usr/bin/hhvm -f
2 <?php
4 require __DIR__ . '/../Maintenance.php';
6 class RunHipHopServer extends Maintenance {
7         function __construct() {
8                 parent::__construct();
9         }
11         function execute() {
12                 global $IP;
14                 passthru(
15                         'cd ' . wfEscapeShellArg( $IP ) . " && " .
16                         wfEscapeShellArg(
17                                 'hhvm',
18                                 '-c', __DIR__."/server.conf",
19                                 '--mode=server',
20                                 '--port=8080'
21                         ),
22                         $ret
23                 );
24                 exit( $ret );
25         }
27 $maintClass = 'RunHipHopServer';
28 require_once RUN_MAINTENANCE_IF_MAIN;