redirect to logout if token is expired

app.py

@@ -3,6 +3,7 @@ import pandas as pd
 from apscheduler.schedulers.background import BackgroundScheduler
 from gradio.themes import Base, colors, sizes
 from gradio_leaderboard import Leaderboard, SelectColumns
+from huggingface_hub import whoami
 
 from src.about import CITATION_BUTTON_LABEL, CITATION_BUTTON_TEXT, EVALUATION_QUEUE_TEXT, INTRODUCTION_TEXT, TITLE
 from src.datamodel.data import F1Data
@@ -156,13 +157,21 @@ def add_solution_cbk(
     )
 
 
-def gate_submission(profile: gr.OAuthProfile | None):
+def gate_submission(token: gr.OAuthToken | None):
     """
     @brief Toggles the visibility of the login box and submission panel based on the user's login status.
     """
-    if profile is None:
-        return gr.update(visible=True), gr.update(visible=False)
-    return gr.update(visible=False), gr.update(visible=True)
+    logger.info("TOKEN %s", token)
+    if token is None:
+        logger.info("NO TOKEN")
+        return gr.update(visible=True), gr.update(visible=False), ""
+    try:
+        whoami(token.token)
+        logger.info("TOKEN IS VALID")
+        return gr.update(visible=False), gr.update(visible=True), ""
+    except Exception:
+        logger.info("TOKEN HAS EXPIRED")
+        return gr.update(visible=True), gr.update(visible=False), '<script>window.location.href = "/logout";</script>'
 
 
 def get_theme():
@@ -189,6 +198,8 @@ def get_theme():
 blocks = gr.Blocks(css=custom_css, theme=get_theme())
 with blocks:
 
+    reload_html = gr.HTML(visible=False)
+
     gr.Image(
         "assets/banner.png",
         interactive=False,
@@ -289,7 +300,7 @@ with blocks:
     blocks.load(lambda: leaderboard_df, inputs=[], outputs=[leaderboard_component])
 
     # On initial load (and after OAuth redirect), toggle the UI based on login status.
-    blocks.load(gate_submission, inputs=None, outputs=[login_box, submit_panel])
+    blocks.load(gate_submission, inputs=None, outputs=[login_box, submit_panel, reload_html])
 
 
 logger.info("Scheduler")