Update app.py

app.py

@@ -216,6 +216,7 @@ def update_leaderboard_dataset(rl_env, path):
 
 def download_leaderboard_dataset():
     path = snapshot_download(repo_id=DATASET_REPO_ID, repo_type="dataset")
+    print("PATH DOWNLOAD", path)
     return path
 
 def get_data(rl_env, path) -> pd.DataFrame:
@@ -333,6 +334,7 @@ with block:
                 env = gr.Variable(rl_env["rl_env"])
                 grpath = gr.Variable(path_)
             with gr.Row():
+                print("PATH USED", path_)
                 gr_dataframe = gr.components.Dataframe(value=get_data(rl_env["rl_env"], path_), headers=["Ranking 🏆", "User 🤗", "Model id 🤖", "Results", "Mean Reward", "Std Reward"], datatype=["number", "markdown", "markdown", "number", "number", "number"],  row_count=(100, 'fixed'))
              
             with gr.Row():
@@ -349,6 +351,14 @@ scheduler.add_job(func=run_update_dataset, trigger="interval", seconds=3600)
 scheduler.add_job(download_leaderboard_dataset, 'interval', seconds=3600)
 scheduler.start()
 
+block.load(
+        download_leaderboard_dataset,
+        inputs=[],
+        outputs=[
+            path_
+        ],
+    )
+
 block.launch()