Is it possible to run Streamlit without using Websocket e.g. by changing configuration?
My problem is that the reverse proxy in my company does not allow Websocket (or is not set up for Websocket).
Is it possible to run Streamlit without using Websocket e.g. by changing configuration?
My problem is that the reverse proxy in my company does not allow Websocket (or is not set up for Websocket).
Streamlit fundamentally runs on websocket so probably not. I would assume you would have to fork the repo and do some changes to that which doesn’t sound very trivial imo.
Hi @willhuang can you please elaborate on “Streamlit fundamentally runs on websocket”?
Similar to the OP, I am in a corporate environment and need to run behind a reverse proxy that does not (for the time being) support Websocket.
If Streamlit fundamentally runs on websocket, why does the server.enableWebsocketCompression
option exist?
Does setting server.enableWebsocketCompression=false
not turn off websocket completely?
Internally Streamlit uses tornado as its webserver: we have a single tornado instance that’s serving all our HTTP traffic, which includes websocket traffic. Se basically support HTTP traffic AND websocket traffic on a single tornado instance and that’s why “Streamlit fundamentally runs on websocket”.
EnablingWebsocketCompression will not turn off websocket but just compress the messages if I had to guess (Compression - websockets 10.4 documentation).
Perhaps stlite can support your use case?
This topic was automatically closed 365 days after the last reply. New replies are no longer allowed.
These cookies are necessary for the website to function and cannot be switched off. They are usually only set in response to actions made by you which amount to a request for services, such as setting your privacy preferences, logging in or filling in forms.
These cookies allow us to count visits and traffic sources so we can measure and improve the performance of our site. They help us understand how visitors move around the site and which pages are most frequently visited.
These cookies are used to record your choices and settings, maintain your preferences over time and recognize you when you return to our website. These cookies help us to personalize our content for you and remember your preferences.
These cookies may be deployed to our site by our advertising partners to build a profile of your interest and provide you with content that is relevant to you, including showing you relevant ads on other websites.