server {
    listen 443 ssl;
    server_name nginx.t2.fet.at;
    include ssl.conf;
    include ldap.conf;
    set $proxy_host devnginx_theia_1;
    set $proxy_port 3000;
    include default_proxy.conf;
}