From 0d8df5ea0b58bd803d734687f1dbc63924a670eb Mon Sep 17 00:00:00 2001 From: Antony Lesuisse Date: Wed, 28 May 2014 16:28:32 +0200 Subject: [PATCH] label id is an int, not a string --- runbot/runbot.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/runbot/runbot.py b/runbot/runbot.py index 1a27f95f..21c0e933 100644 --- a/runbot/runbot.py +++ b/runbot/runbot.py @@ -866,8 +866,9 @@ class RunbotController(http.Controller): issue_number = int(issue_number[2]) else: # not a pull request - return False + return werkzeug.utils.redirect('/runbot/repo/%s' % build.repo_id.id) + label_id = int(label_id) if label_id not in LABELS: _logger.exception("unknown label") else: @@ -893,7 +894,7 @@ class RunbotController(http.Controller): _logger.debug("added github label %s for %s: %s", (label_name, issue_number)) except Exception, e: _logger.exception("github error while adding label %s" % label_name) - return True + return werkzeug.utils.redirect('/runbot/repo/%s' % build.repo_id.id) LABELS = {