server { listen 443 ssl; include ssl.conf; server_name jenkins.fet.at; set $proxy_host triton20; set $proxy_port 49155; include default_proxy.conf; }