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