| 
				
			 | 
			
			
				@@ -9670,7 +9670,8 @@ function install_mediagoblin { 
			 | 
		
	
		
			
			| 
				9670
			 | 
			
				9670
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				9671
			 | 
			
				9671
			 | 
			
			
				     # web config 
			 | 
		
	
		
			
			| 
				9672
			 | 
			
				9672
			 | 
			
			
				     MEDIAGOBLIN_VIRTUAL_HOST=/etc/nginx/sites-available/$MEDIAGOBLIN_DOMAIN_NAME 
			 | 
		
	
		
			
			| 
				9673
			 | 
			
				
			 | 
			
			
				-    echo 'server {' > $MEDIAGOBLIN_VIRTUAL_HOST 
			 | 
		
	
		
			
			| 
				
			 | 
			
				9673
			 | 
			
			
				+    nginx_http_redirect $MEDIAGOBLIN_DOMAIN_NAME 
			 | 
		
	
		
			
			| 
				
			 | 
			
				9674
			 | 
			
			
				+    echo 'server {' >> $MEDIAGOBLIN_VIRTUAL_HOST 
			 | 
		
	
		
			
			| 
				9674
			 | 
			
				9675
			 | 
			
			
				     echo '  listen 443 ssl;' >> $MEDIAGOBLIN_VIRTUAL_HOST 
			 | 
		
	
		
			
			| 
				9675
			 | 
			
				9676
			 | 
			
			
				     echo '  #################################################' >> $MEDIAGOBLIN_VIRTUAL_HOST 
			 | 
		
	
		
			
			| 
				9676
			 | 
			
				9677
			 | 
			
			
				     echo '  # Stock useful config options, but ignore them :)' >> $MEDIAGOBLIN_VIRTUAL_HOST 
			 |