From eeed41b1626045266c3f5656e616cc41de935d8c Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 16 May 2018 21:32:30 +0200
Subject: buildmaster/log.php: ?filter new

---
 buildmaster/log.php | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'buildmaster')

diff --git a/buildmaster/log.php b/buildmaster/log.php
index 911a52a..477d4c9 100644
--- a/buildmaster/log.php
+++ b/buildmaster/log.php
@@ -2,6 +2,7 @@
 
   include "lib/mysql.php";
 
+  $filter = "";
   if (isset($_GET["show"]) &&
     ($_GET["show"] == "ssh")) {
     $to_show = "ssh";
@@ -12,6 +13,8 @@
       "parameters" => "`ssh_log`.`parameters`"
     );
     $join = " LEFT JOIN `build_slaves` ON `ssh_log`.`build_slave`=`build_slaves`.`id`";
+    if (isset($_GET["filter"]))
+      $filter = " AND `ssh_log`.`action` LIKE from_base64(\"" . base64_encode($_GET["filter"]) . "\")";
   } else {
     $to_show = "email";
     $columns = array(
@@ -46,6 +49,7 @@
   // NOW() is wrong here - due to differing time zones O.o
       "SELECT MAX(`l`.`date`) FROM `" . $to_show . "_log` AS `l`" .
     "),`" . $to_show . "_log`.`date`) < from_base64(\"" . base64_encode( $min_time ) . "\")" .
+    $filter .
     " ORDER BY `" . $to_show . "_log`.`date` DESC";
 
   $result = mysql_run_query($query);
-- 
cgit v1.2.3