Update: we still donāt know whatās going on, but we were able to find a possible solution.
In Streamlitās sever/server.py
, change this:
"websocket_ping_interval": 20, # Ping every 20s to keep WS alive.
to this
"websocket_ping_interval": 1, # Ping every 1s to keep WS alive.
In @Kladarās case, this appears to solve the problem, and I donāt expect it to have any noticeable negative impact.
Iāll talk to our eng team to see if it makes sense to make this the default, as itās very possible that Iām missing something obvious