Properly redirect http to https (#1418)

Can't use $server_name because it ends up redirecting to 127.0.0.1. Instead, using $host will redirect the site to the appropriate host.
codalab · Sep 24, 2019 · 6dd3d2b · 6dd3d2b
1 parent 9face7c
commit 6dd3d2b
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/docker/compose_files/files/nginx.conf.ssl b/docker/compose_files/files/nginx.conf.ssl
@@ -70,10 +70,9 @@ http {
 
   # Redirects all http traffic to https.
   server {	
-    listen 80;	
-    server_name 127.0.0.1 localhost;	
+    listen 80;		
     location / {	
-      rewrite ^ https://$server_name$request_uri permanent;	
+      rewrite ^ https://$host$request_uri permanent;	
     }	
   }