Update app.py
Browse files
app.py
CHANGED
|
@@ -369,6 +369,10 @@ def get_history():
|
|
| 369 |
logger.info(f"Returning {len(data)} chunks for history: {json.dumps(data, ensure_ascii=False)}")
|
| 370 |
return data
|
| 371 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 372 |
def get_logs():
|
| 373 |
try:
|
| 374 |
with open("aiapp.log", "r") as f:
|
|
@@ -464,7 +468,7 @@ def create_ui():
|
|
| 464 |
key="history_df"
|
| 465 |
)
|
| 466 |
history_btn = gr.Button("Refresh History")
|
| 467 |
-
history_btn.click(fn=
|
| 468 |
|
| 469 |
with gr.Tab("Text Editor"):
|
| 470 |
chunk_id = gr.Textbox(label="Selected Chunk ID", interactive=False)
|
|
|
|
| 369 |
logger.info(f"Returning {len(data)} chunks for history: {json.dumps(data, ensure_ascii=False)}")
|
| 370 |
return data
|
| 371 |
|
| 372 |
+
async def async_get_history():
|
| 373 |
+
await asyncio.sleep(0.2) # 200ms delay for debounce
|
| 374 |
+
return get_history()
|
| 375 |
+
|
| 376 |
def get_logs():
|
| 377 |
try:
|
| 378 |
with open("aiapp.log", "r") as f:
|
|
|
|
| 468 |
key="history_df"
|
| 469 |
)
|
| 470 |
history_btn = gr.Button("Refresh History")
|
| 471 |
+
history_btn.click(fn=async_get_history, outputs=history, api_name="refresh_history")
|
| 472 |
|
| 473 |
with gr.Tab("Text Editor"):
|
| 474 |
chunk_id = gr.Textbox(label="Selected Chunk ID", interactive=False)
|