Make stop button work
Browse files
app.py
CHANGED
|
@@ -712,7 +712,10 @@ with gr.Blocks(theme=theme, css=custom_css, js=custom_js) as demo:
|
|
| 712 |
outputs=[sandbox_html]
|
| 713 |
)
|
| 714 |
|
| 715 |
-
|
|
|
|
|
|
|
|
|
|
| 716 |
|
| 717 |
def set_logs_source(session_state):
|
| 718 |
session_state["replay_log"] = "udupp2fyavq_1743170323"
|
|
|
|
| 712 |
outputs=[sandbox_html]
|
| 713 |
)
|
| 714 |
|
| 715 |
+
def interrupt_agent(session_state):
|
| 716 |
+
session_state["agent"].interrupt()
|
| 717 |
+
|
| 718 |
+
stop_btn.click(fn=interrupt_agent, inputs=[session_state], cancels=[run_event])
|
| 719 |
|
| 720 |
def set_logs_source(session_state):
|
| 721 |
session_state["replay_log"] = "udupp2fyavq_1743170323"
|