[ Index ]

PHP Cross Reference of MediaWiki-1.24.0

title

Body

[close]

/maintenance/hiphop/ -> run-server (source)

   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;


Generated: Fri Nov 28 14:03:12 2014 Cross-referenced by PHPXref 0.7.1