server { listen 443 ssl; include ssl.conf; server_name ticket.fet.at; set $proxy_host proteus; set $proxy_port 80; include default_proxy.conf; }