events {
    worker_connections 1024;
}

http {
    server {
        listen 80;

        location = /gradio/demo {
            return 301 $scheme://$http_host$request_uri/;
        }
        
        location /gradio/demo/ {
            proxy_pass http://app:8000/;
            proxy_buffering off;
            proxy_redirect off;
            proxy_http_version 1.1;
            proxy_set_header Upgrade $http_upgrade;
            proxy_set_header Connection "upgrade";
            proxy_set_header Host $http_host;
            proxy_set_header X-Forwarded-Host $http_host;
            proxy_set_header X-Forwarded-Proto $scheme;
        }        
    }
}