wwwroot generation fails when DOCUMENT_ROOT is empty

[François Marier]

In my Nginx install, the wwwroot detection fails because $_SERVER['DOCUMENT_ROOT'] isn't set.

My nginx config looks like this:

server {
 listen 443;
 server_name mahara.lynch.wgtn.cat-it.co.nz;

 ssl on;
 ssl_certificate cert.pem;
 ssl_certificate_key cert.pem;

 location / {
  root /home/francois/code/mahara/htdocs;
  index index.php index.html;
 }
}

and the wwwroot generated by Mahara is https://mahara.lynch.wgtn.cat-it.co.nz/ahara/htdocs/

instead of https://mahara.lynch.wgtn.cat-it.co.nz/