Change restart interval

app.py

@@ -1,3 +1,4 @@
+from time import sleep
 import gradio as gr
 import pandas as pd
 from apscheduler.schedulers.background import BackgroundScheduler
@@ -45,19 +46,20 @@ def restart_space():
 
 def init_space():
 
-    # try:
-    print(EVAL_RESULTS_PATH)
-    snapshot_download(
-        repo_id=RESULTS_REPO,
-        local_dir=EVAL_RESULTS_PATH,
-        repo_type="dataset",
-        tqdm_class=None,
-        etag_timeout=60,
-        resume_download=True,
-    )
-    # except Exception as e:
-    #     print(e)
-    #     restart_space()
+    try:
+        print(EVAL_RESULTS_PATH)
+        snapshot_download(
+            repo_id=RESULTS_REPO,
+            local_dir=EVAL_RESULTS_PATH,
+            repo_type="dataset",
+            tqdm_class=None,
+            etag_timeout=30,
+            resume_download=True,
+        )
+    except Exception as e:
+        print(e)
+        sleep(180)  # sleep 3 min
+        restart_space()
 
     raw_data, original_df = get_leaderboard_df(
         results_path=EVAL_RESULTS_PATH, cols=COLS, benchmark_cols=BENCHMARK_COLS
@@ -369,7 +371,7 @@ with demo:
             )
 
 scheduler = BackgroundScheduler()
-scheduler.add_job(restart_space, "interval", seconds=10800)  # restarted every 3h
+scheduler.add_job(restart_space, "interval", seconds=1800)  # restarted every 3h
 scheduler.start()
 
 demo.queue(default_concurrency_limit=40).launch()