Adding more debugging to figure out the state issues

app.py

@@ -1,6 +1,4 @@
-from datetime import datetime
 import pandas as pd
-
 import gradio as gr
 from gradio.themes.utils import sizes
 from gradio_leaderboard import Leaderboard
@@ -18,7 +16,7 @@ from constants import (
     SUBMIT_TAB_NAME,
 )
 from submit import make_submission
-from utils import fetch_hf_results, show_output_box
+from utils import fetch_hf_results, show_output_box, get_time
 
 
 def format_leaderboard_table(df_results: pd.DataFrame, assay: str | None = None):
@@ -67,6 +65,10 @@ def get_leaderboard_object(assay: str | None = None):
 # Initialize global dataframe
 current_dataframe = fetch_hf_results()
 
+# Lood: Two problems currently: 
+# 1. The data_version state value isn't being incremented, it seems (even though it's triggering the dataframe change correctly)
+# 2. The global current_dataframe is being shared across all sessions
+
 # Make font size bigger using gradio theme
 with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
     timer = gr.Timer(3)  # Run every 3 seconds when page is focused
@@ -78,8 +80,7 @@ with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
 
         # Check if data has actually changed
         if not current_dataframe.equals(new_dataframe):
-            time = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
-            print(f"TMP Dataframe has changed at {time}")
+            print(f"TMP Dataframe has changed at {get_time()}. New value will be {data_version.value + 1}")
             current_dataframe = new_dataframe
             return data_version.value + 1  # Increment version to trigger updates
         return data_version.value
@@ -153,8 +154,7 @@ with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
             lb = get_leaderboard_object()
 
             def refresh_overall_leaderboard():
-                time = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
-                print(f"TMP Refreshing overall leaderboard at {time}")
+                print(f"TMP Refreshing overall leaderboard at {get_time()}. Data version: {data_version.value}")
                 return format_leaderboard_table(df_results=current_dataframe)
 
             # Refresh when data version changes
@@ -288,4 +288,4 @@ with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
     )
 
 if __name__ == "__main__":
-    demo.launch(ssr_mode=False)
+    demo.launch(ssr_mode=False, share=True)

utils.py

@@ -1,3 +1,4 @@
+from datetime import datetime, timezone, timedelta
 import pandas as pd
 from datasets import load_dataset
 import gradio as gr
@@ -8,6 +9,14 @@ from constants import RESULTS_REPO, ASSAY_RENAME, LEADERBOARD_RESULTS_COLUMNS, B
 pd.set_option("display.max_columns", None)
 
 
+def get_time(tz_name="EST") -> str:
+    offsets = {"EST": -5, "UTC": 0}
+    if tz_name not in offsets:
+        print("Invalid timezone, using EST")
+        tz_name = "EST"
+    offset = offsets[tz_name]
+    return datetime.now(timezone(timedelta(hours=offset))).strftime("%Y-%m-%d %H:%M:%S") + f" ({tz_name})"
+
 def show_output_box(message):
     return gr.update(value=message, visible=True)