update

app.py

@@ -130,17 +130,22 @@ def download_leaderboard_dataset():
 
 path_ = download_leaderboard_dataset()
 
+from datetime import datetime
+
 def run_update_dataset():
     global path_
     for i in range(0, len(rl_envs)):
         rl_env = rl_envs[i]
         update_leaderboard_dataset_parallel(rl_env["rl_env"], path_)
-
+    # 获取当前时间
+    current_time = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
+    # 构建带时间戳的 commit_message
+    commit_message = f"Update dataset at {current_time}"
     api.upload_folder(
     folder_path=path_,
     repo_id="huph22/drlc-leaderboard-data",
     repo_type="dataset",
-    commit_message="Update dataset")
+    commit_message=commit_message)
     
 
 def get_data(rl_env, path) -> pd.DataFrame:
@@ -255,13 +260,18 @@ with block:
     )
     """
 
-
+import threading
 scheduler = BackgroundScheduler()
-# Refresh every hour
-#scheduler.add_job(func=run_update_dataset, trigger="interval", seconds=3600)
-#scheduler.add_job(download_leaderboard_dataset, 'interval', seconds=3600)
 scheduler.add_job(run_update_dataset, 'interval', seconds=3600)
-#scheduler.add_job(restart, 'interval', seconds=10800)
 scheduler.start()
 
-block.launch()
+def start_block_launch():
+    block.launch()
+launch_thread = threading.Thread(target=start_block_launch)
+launch_thread.start()
+
+try:
+    while True:
+        time.sleep(60)  # 主线程保持活跃
+except (KeyboardInterrupt, SystemExit):
+    scheduler.shutdown()