Allow filtering by build id

diff --git a/ui/app.py b/ui/app.py
index e1ce47491c08bb47aa09234e4cc7bb805c628348..85aa8c34b651faae448f1b71298bc2bdde93aa8a 100644 (file)
--- a/ui/app.py
+++ b/ui/app.py
@@ -45,6 +45,8 @@ def parse_args():
         if 'date' in request.args:
             date = datetime.datetime.strptime(request.args.get('date'), '%Y-%m-%d').date()
             args['build_date'] = datetime.datetime.strptime(request.args.get('date'), '%Y-%m-%d').date()
+        if 'id' in request.args:
+            args['build_id'] = request.args.get('id')
     return args
 
 @cache.memoize()