index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-02-18 20:12:17 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-02-18 20:12:17 +0100 |
commit | 4c6b074e85d7d8e97b9f125f5fbc2949bc8839dd (patch) | |
tree | b1049ef75f830be56aa5dbba951872d794b11b2a /buildmaster/log.php | |
parent | 4376c50ded25fff8ab6c59c045522091b3eb038b (diff) |
-rw-r--r-- | buildmaster/log.php | 8 |
diff --git a/buildmaster/log.php b/buildmaster/log.php index f6de94b..371bb86 100644 --- a/buildmaster/log.php +++ b/buildmaster/log.php @@ -4,7 +4,7 @@ require_once BASE . "/lib/mysql.php"; $filter = ""; - if (isset($_GET["show"]) && + if (array_key_exists("show", $_GET) && ($_GET["show"] == "ssh")) { $to_show = "ssh"; $columns = array( @@ -14,9 +14,9 @@ require_once BASE . "/lib/mysql.php"; "parameters" => "`ssh_log`.`parameters`" ); $join = " LEFT" . mysql_join_ssh_log_build_slaves(); - if (isset($_GET["action"])) + if (array_key_exists("action", $_GET)) $filter .= " AND `ssh_log`.`action` LIKE from_base64(\"" . base64_encode($_GET["action"]) . "\")"; - if (isset($_GET["slave"])) + if (array_key_exists("slave", $_GET)) $filter .= " AND `build_slaves`.`name` LIKE from_base64(\"" . base64_encode($_GET["slave"]) . "\")"; } else { $to_show = "email"; @@ -36,7 +36,7 @@ require_once BASE . "/lib/mysql.php"; ") ON `email_log`.`gpg_key`=`gpg_keys`.`id`"; } - if (isset($_GET["from"])) + if (array_key_exists("from", $_GET)) $min_time = $_GET["from"]; elseif ($to_show == "email") $min_time = "1 00:00:00"; |