Commit
·
6fd7518
1
Parent(s):
71d6ad2
Added time to debugging - now to wait for next breaking
Browse files
app.py
CHANGED
|
@@ -1,3 +1,4 @@
|
|
|
|
|
| 1 |
import pandas as pd
|
| 2 |
|
| 3 |
import gradio as gr
|
|
@@ -77,7 +78,8 @@ with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
|
|
| 77 |
|
| 78 |
# Check if data has actually changed
|
| 79 |
if not current_dataframe.equals(new_dataframe):
|
| 80 |
-
|
|
|
|
| 81 |
current_dataframe = new_dataframe
|
| 82 |
return data_version.value + 1 # Increment version to trigger updates
|
| 83 |
return data_version.value
|
|
@@ -151,7 +153,8 @@ with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
|
|
| 151 |
lb = get_leaderboard_object()
|
| 152 |
|
| 153 |
def refresh_overall_leaderboard():
|
| 154 |
-
|
|
|
|
| 155 |
return format_leaderboard_table(df_results=current_dataframe)
|
| 156 |
|
| 157 |
# Refresh when data version changes
|
|
|
|
| 1 |
+
from datetime import datetime
|
| 2 |
import pandas as pd
|
| 3 |
|
| 4 |
import gradio as gr
|
|
|
|
| 78 |
|
| 79 |
# Check if data has actually changed
|
| 80 |
if not current_dataframe.equals(new_dataframe):
|
| 81 |
+
time = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
|
| 82 |
+
print(f"TMP Dataframe has changed at {time}")
|
| 83 |
current_dataframe = new_dataframe
|
| 84 |
return data_version.value + 1 # Increment version to trigger updates
|
| 85 |
return data_version.value
|
|
|
|
| 153 |
lb = get_leaderboard_object()
|
| 154 |
|
| 155 |
def refresh_overall_leaderboard():
|
| 156 |
+
time = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
|
| 157 |
+
print(f"TMP Refreshing overall leaderboard at {time}")
|
| 158 |
return format_leaderboard_table(df_results=current_dataframe)
|
| 159 |
|
| 160 |
# Refresh when data version changes
|