added rerunall and get_session_ids; simplified rerun a bit

This commit is contained in:
2022-11-25 23:08:51 +01:00
parent 697a3abc93
commit 907f4abd98

View File

@ -1,12 +1,28 @@
import streamlit as st
def rerunall():
server = st.server.server.Server.get_current()
for si in server._session_info_by_id.values():
print("rerun:", si.session.id)
client_state = None
si.session.request_rerun(client_state)
def get_session_ids():
server = st.server.server.Server.get_current()
sids = server._session_info_by_id.keys()
return set(sids)
def rerun(session_id=None):
if session_id is None:
session_id = get_session_id()
server = st.server.server.Server.get_current()
session = server._get_session_info(session_id).session
session = server.get_session_by_id(session_id)
client_state = None
session.request_rerun(client_state)