To use DOCUMENT_URI instead of REQUEST_URI allow
this rewrite rule in nginx, introduced in D1314:
rewrite ^/servers\-log/?(.*)$ /$1 break;
This allows to serve the service at /servers-log,
but to read the document URI relative to the service root.
An immediate benefit is to separate concerns:
- the web server is responsible to define the mounting point and to give to the service a clean URL,
- the service is responsible to handle a request, taking in consideration this clean URL.
This change is needed by ad35fd26f9a9.