From 40a0bbbbb2744035d6ef1c49b3da1fab68454415 Mon Sep 17 00:00:00 2001
From: Julian Rother <julianr@fsmpi.rwth-aachen.de>
Date: Mon, 12 Sep 2016 04:36:33 +0200
Subject: [PATCH] Quick fix scheduler in case the queue is empty
---
server.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/server.py b/server.py
index fb2271c..91d0dc2 100644
--- a/server.py
+++ b/server.py
@@ -23,6 +23,7 @@ def run_scheduler():
time.sleep(1) # UWSGI does weird things on startup
while True:
scheduler.run()
+ time.sleep(10)
def sched_func(delay, priority=0, firstdelay=None, args=[], kargs={}):
if firstdelay == None:
--
GitLab