Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/buildmaster/todos.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-02-18 20:12:17 +0100
committerErich Eckner <git@eckner.net>2019-02-18 20:12:17 +0100
commit4c6b074e85d7d8e97b9f125f5fbc2949bc8839dd (patch)
treeb1049ef75f830be56aa5dbba951872d794b11b2a /buildmaster/todos.php
parent4376c50ded25fff8ab6c59c045522091b3eb038b (diff)
buildmaster/build-list-links.php,buildmaster/build-list.php,buildmaster/build-slaves.php,buildmaster/deletion-links.php,buildmaster/dependencies.php,buildmaster/log.php,buildmaster/mysql-issues.php,buildmaster/statistics.php,buildmaster/todos.php,lib/format.php,mirrors/index.php,packages/index.php: isset($_GET[$x]) -> array_key_exists($x, $_GET)
Diffstat (limited to 'buildmaster/todos.php')
-rw-r--r--buildmaster/todos.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/buildmaster/todos.php b/buildmaster/todos.php
index bf77f08..3528def 100644
--- a/buildmaster/todos.php
+++ b/buildmaster/todos.php
@@ -13,7 +13,7 @@ $result = mysql_run_query(
"FROM `todos`;"
);
-if (isset($_GET["graph"])) {
+if (array_key_exists("graph", $_GET)) {
if ($result -> num_rows > 0) {
@@ -64,7 +64,7 @@ if (isset($_GET["graph"])) {
"timeout 30 dot -Tpng -o/dev/stdout /dev/stdin"
);
-} else { // isset($_GET["graph"])
+} else { // array_key_exists("graph", $_GET)
if ($result -> num_rows > 0) {