builders: Run dispatch after editing a builder

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/src/web/builders.py b/src/web/builders.py
index 0e4cf897f867d8fa76ac4bed130aae09ac47522e..96b417c6ff0c41e75c1d505b491e14b56af48f6c 100644 (file)
--- a/src/web/builders.py
+++ b/src/web/builders.py
@@ -91,7 +91,7 @@ class BuilderEditHandler(base.BaseHandler):
                self.render("builders/edit.html", builder=builder)
 
        @tornado.web.authenticated
-       def post(self, hostname):
+       async def post(self, hostname):
                builder = self.backend.builders.get_by_name(hostname)
                if not builder:
                        raise tornado.web.HTTPError(404, "Builder not found: %s" % hostname)
@@ -105,6 +105,9 @@ class BuilderEditHandler(base.BaseHandler):
                        builder.testmode = self.get_argument("testmode", False)
                        builder.max_jobs = self.get_argument_int("max_jobs")
 
+               # Try to dispatch more jobs
+               self.backend.run_task(self.backend.jobs.dispatch)
+
                self.redirect("/builders/%s" % builder.hostname)