Simple HHVM server

index.hack

function main(): noreturn {
  $rsp = dict[
    '$_SERVER' => $_SERVER,
    '$_GET' => $_GET,
    '$_POST' => $_POST,
    '$_REQUEST' => $_REQUEST,
    'getallheaders' => getallheaders(),
    'body' => file_get_contents('php://input'),
  ];

  echo json_encode($rsp, JSON_PRETTY_PRINT);
  exit(0);
}

main();

server.sh

#!/bin/bash

# See https://stackoverflow.com/questions/59895
dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

cd "$dir"
hhvm --no-config --mode server --port 8888 -d hhvm.server.default_document=index.hack -d hhvm.server.error_document404=index.hack