maintenance/hhvm/run-server

   1 #!/usr/bin/hhvm -f
   2 <?php
   3
   4 use MediaWiki\Shell\Shell;
   5
   6 require __DIR__ . '/../Maintenance.php';
   7
   8 class RunHipHopServer extends Maintenance {
   9         function __construct() {
  10                 parent::__construct();
  11         }
  12
  13         function execute() {
  14                 global $IP;
  15
  16                 passthru(
  17                         'cd ' . Shell::escape( $IP ) . " && " .
  18                         Shell::escape(
  19                                 'hhvm',
  20                                 '-c', __DIR__."/server.conf",
  21                                 '--mode=server',
  22                                 '--port=8080'
  23                         ),
  24                         $ret
  25                 );
  26                 exit( $ret );
  27         }
  28 }
  29 $maintClass = RunHipHopServer::class;
  30 require_once RUN_MAINTENANCE_IF_MAIN;