path: root/etc/nginx/sites-enabled/demo.site

server {
	listen 80;
	server_name demo.taler.net;
	server_name www.demo.taler.net;
	rewrite ^ https://$server_name$request_uri? permanent;
}