aboutsummaryrefslogtreecommitdiff
path: root/web
diff options
context:
space:
mode:
authorGravatar Victor Huesca <victor.huesca@bootlin.com>2019-08-13 15:13:19 +0200
committerGravatar Thomas Petazzoni <thomas.petazzoni@bootlin.com>2019-08-13 22:14:45 +0200
commitcf2f4d0af0243094f9e2d2951c0a694f403cdd3a (patch)
treefd6bf14b645ca183f8ff49ffea634b5d2bb1b6bd /web
parent7a92302f2c28d4e84c3abcdd2f66e5239f206714 (diff)
downloadbuildroot-test-cf2f4d0af0243094f9e2d2951c0a694f403cdd3a.tar.gz
buildroot-test-cf2f4d0af0243094f9e2d2951c0a694f403cdd3a.tar.bz2
web/index.php: add support for configuration symbols via GET
This patch add support of a 'symbols[<symbol>]=<value>' option via GET as it is done with other fields. This syntax allows to pass multiple configuration symbols and values while keeping the URL clean. This interface allows to search configurations with specific symbols and values. Signed-off-by: Victor Huesca <victor.huesca@bootlin.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'web')
-rw-r--r--web/index.php3
1 files changed, 3 insertions, 0 deletions
diff --git a/web/index.php b/web/index.php
index 0c79aa6..503e5ad 100644
--- a/web/index.php
+++ b/web/index.php
@@ -62,6 +62,9 @@ if (isset ($_GET['submitter']))
if (isset($_GET['date']))
$filters["date"] = $_GET['date'];
+if (isset($_GET['symbols']) && is_array($_GET['symbols']))
+ $filters['symbols'] = $_GET['symbols'];
+
bab_header("Buildroot tests");
echo "<table>\n";