Spaces:
Starting
Starting
Update app.py
Browse files
app.py
CHANGED
@@ -524,9 +524,9 @@ with demo:
|
|
524 |
def restart_space():
|
525 |
API.restart_space(repo_id=REPO_ID, token=H4_TOKEN)
|
526 |
|
527 |
-
|
528 |
-
scheduler = BackgroundScheduler()
|
529 |
-
scheduler.add_job(restart_space, "interval", seconds=60 * 5) # restart every 15 minutes
|
530 |
-
scheduler.start()
|
531 |
|
532 |
demo.launch()
|
|
|
524 |
def restart_space():
|
525 |
API.restart_space(repo_id=REPO_ID, token=H4_TOKEN)
|
526 |
|
527 |
+
# # Switch to independent restarter now
|
528 |
+
# scheduler = BackgroundScheduler()
|
529 |
+
# scheduler.add_job(restart_space, "interval", seconds=60 * 5) # restart every 15 minutes
|
530 |
+
# scheduler.start()
|
531 |
|
532 |
demo.launch()
|