From 40852fa597ce44d0f56438d42764bf461d5826a7 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 27 Apr 2016 02:13:15 +0200
Subject: use host instead of server_name, as former works with wildcards

---
 etc/nginx/sites-enabled/demo.site | 2 +-
 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
index c52ec90..09c63d7 100644
--- 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
index 0f6d93b..d25ff57 100644
--- 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;
 }
 
 
-- 
cgit v1.2.3