Update app.py

app.py

@@ -342,23 +342,13 @@ with block:
             with gr.Row():
                 search_btn.click(fn=filter_data, inputs=[env, grpath, user_id], outputs=gr_dataframe, api_name="filter_data")
                 reset_btn.click(fn=get_data, inputs=[env, grpath], outputs=gr_dataframe, api_name="get_data")
-                       
-block.launch()
-
-def refresh_leaderboard():
-    """
-    Here we refresh the leaderboard:
-    we update the rl_env["global"] for each rl_envs in rl_env
-    """
-    for i in range(0, len(rl_envs)):
-        rl_env = rl_envs[i]
-        temp = get_model_dataframe(rl_env)
-        rl_env["global"] = temp
-    print("The leaderboard has been updated")
-                       
-block.launch()
 
 scheduler = BackgroundScheduler()
 # Refresh every hour
 scheduler.add_job(func=run_update_dataset, trigger="interval", seconds=3600)
-scheduler.start()
+scheduler.start()
+
+block.launch()
+
+
+