From 500dda7df44036eefad5c931657f46e41bbb1725 Mon Sep 17 00:00:00 2001 From: Joe Date: Thu, 30 May 2024 13:46:23 -0500 Subject: [PATCH] clear to_delete (#18) --- streamlit_deephaven/streamlit_deephaven.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/streamlit_deephaven/streamlit_deephaven.py b/streamlit_deephaven/streamlit_deephaven.py index 61d853e..5fc9013 100644 --- a/streamlit_deephaven/streamlit_deephaven.py +++ b/streamlit_deephaven/streamlit_deephaven.py @@ -51,6 +51,8 @@ def _remove_widgets(): from deephaven_server import Server for object_id in st.session_state[DH_STATE]['to_delete']: Server.instance.__globals.pop(object_id, None) + st.session_state[DH_STATE]['to_delete'] = [] + def start_server(host: Optional[str] = None, port: Optional[int] = None, jvm_args: Optional[List[str]] = None): """