maintenance/hiphop/run-server

   1 #!/usr/bin/hhvm -f
   2 <?php
   3
   4 require( __DIR__ . '/../Maintenance.php' );
   5
   6 class RunHipHopServer extends Maintenance {
   7         function __construct() {
   8                 parent::__construct();
   9         }
  10
  11         function execute() {
  12                 global $IP;
  13
  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         }
  26 }
  27 $maintClass = 'RunHipHopServer';
  28 require_once RUN_MAINTENANCE_IF_MAIN;