start every 20 minutes
Browse files
app.py
CHANGED
@@ -432,6 +432,6 @@ We chose these benchmarks as they test a variety of reasoning and general knowle
|
|
432 |
# )
|
433 |
|
434 |
scheduler = BackgroundScheduler()
|
435 |
-
scheduler.add_job(restart_space, 'interval', seconds=
|
436 |
scheduler.start()
|
437 |
demo.launch()
|
|
|
432 |
# )
|
433 |
|
434 |
scheduler = BackgroundScheduler()
|
435 |
+
scheduler.add_job(restart_space, 'interval', seconds=1200)
|
436 |
scheduler.start()
|
437 |
demo.launch()
|