Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -8,8 +8,8 @@ from src.static.tag_info import *
|
|
8 |
from src.static.display import make_clickable
|
9 |
|
10 |
|
11 |
-
def restart_space():
|
12 |
-
|
13 |
|
14 |
LEADERBOARDS_TO_INFO, INFO_TO_LEADERBOARDS = get_leaderboard_info()
|
15 |
|
@@ -108,8 +108,8 @@ with demo:
|
|
108 |
#with gr.Accordion("How to build your own leaderboard?", open=False):
|
109 |
# gr.Markdown(DOCUMENTATION, elem_classes="markdown-text")
|
110 |
|
111 |
-
scheduler = BackgroundScheduler()
|
112 |
-
scheduler.add_job(restart_space, "interval", seconds=10800) # restarted every 3h
|
113 |
-
scheduler.start()
|
114 |
|
115 |
demo.queue(default_concurrency_limit=40).launch()
|
|
|
8 |
from src.static.display import make_clickable
|
9 |
|
10 |
|
11 |
+
# def restart_space():
|
12 |
+
# API.restart_space(repo_id=REPO_ID, token=HF_TOKEN)
|
13 |
|
14 |
LEADERBOARDS_TO_INFO, INFO_TO_LEADERBOARDS = get_leaderboard_info()
|
15 |
|
|
|
108 |
#with gr.Accordion("How to build your own leaderboard?", open=False):
|
109 |
# gr.Markdown(DOCUMENTATION, elem_classes="markdown-text")
|
110 |
|
111 |
+
# scheduler = BackgroundScheduler()
|
112 |
+
# scheduler.add_job(restart_space, "interval", seconds=10800) # restarted every 3h
|
113 |
+
# scheduler.start()
|
114 |
|
115 |
demo.queue(default_concurrency_limit=40).launch()
|