server {
    listen 443 ssl;
    # listen [::]:443 ssl;

    root /srv/www/default/laravel/public;
    server_name machine.example

    location /doc {
        alias /srv/www/doc;
        index index.html;
        autoindex on;
    }

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

    location ~ \.php$ {
        index index.php;
        fastcgi_split_path_info ^(.+\.php)(/.+)$;
        fastcgi_index index.php;
        # try_files $uri /index.php =404;
        include /etc/nginx/fastcgi_params;
        fastcgi_param SCRIPT_FILENAME $document_root$fastcgi_script_name;
        # fastcgi_pass unix:/var/run/php5-fpm.sock;
        fastcgi_pass 127.0.0.1:9000;
    }
}