diff options
| 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/todos.php | |
| parent | 4376c50ded25fff8ab6c59c045522091b3eb038b (diff) | |
| download | website-4c6b074e85d7d8e97b9f125f5fbc2949bc8839dd.tar.xz | |
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.php | 4 |
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) { |