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