commit 40852fa597ce44d0f56438d42764bf461d5826a7 parent 5b3565261204ad54461b2faea959a16f41249d3c Author: Florian Dold <florian.dold@gmail.com> Date: Wed, 27 Apr 2016 02:13:15 +0200 use host instead of server_name, as former works with wildcards Diffstat:
| M | etc/nginx/sites-enabled/demo.site | | | 2 | +- |
| M | etc/nginx/sites-enabled/test.site | | | 2 | +- |
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/etc/nginx/sites-enabled/demo.site b/etc/nginx/sites-enabled/demo.site @@ -1,7 +1,7 @@ server { listen 80; server_name demo.taler.net *.demo.taler.net; - rewrite ^ https://$server_name$request_uri? permanent; + rewrite ^ https://$host$request_uri? permanent; } diff --git a/etc/nginx/sites-enabled/test.site b/etc/nginx/sites-enabled/test.site @@ -1,7 +1,7 @@ server { listen 80; server_name test.taler.net *.test.taler.net; - rewrite ^ https://$server_name$request_uri? permanent; + rewrite ^ https://$host$request_uri? permanent; }