devtools.nginx.conf

server {
    listen 80 default_server;
    root /home/gliders/devtools/;

    location / {
        auth_basic "Restricted";
        auth_basic_user_file /home/gliders/devtools/.htpasswd;
        index index.php index.xhtml index.html index.htm index.txt;
        autoindex on;
    }

    location /phpma {
        index index.php;
        try_files $uri /phma/index.php?$is_args$args;
    }

    location /phpci {
        index index.php;
        try_files $uri /phpci/public/index.php$is_args$args;
    }

    error_log /var/log/nginx/devtools.error.log;
    access_log off;

    location ~ \.php {
        fastcgi_index index.php;
        fastcgi_pass hhvmfcgi;
        fastcgi_buffers 256 4k;
        include fastcgi_params;
        fastcgi_param SCRIPT_FILENAME $document_root$fastcgi_script_name;
        fastcgi_param SCRIPT_NAME $fastcgi_script_name;
        fastcgi_param HTTPS off;
    }
}