diff options
| author | Erich Eckner <git@eckner.net> | 2019-08-26 12:00:16 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-26 12:00:16 +0200 |
| commit | 0632a7b025f8b70f9e4338749528fdfb5517d90a (patch) | |
| tree | 79fec1145389e4937f3b1e23ad6dd79171f46696 | |
| parent | 301d8e215dee7149905d23afafd89ac484274c7f (diff) | |
| download | raspi-lights-out-0632a7b025f8b70f9e4338749528fdfb5517d90a.tar.xz | |
httpdocs/index.php: fix emptyness-check
| -rw-r--r-- | httpdocs/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/httpdocs/index.php b/httpdocs/index.php index b19b8e9..80f9f53 100644 --- a/httpdocs/index.php +++ b/httpdocs/index.php @@ -8,7 +8,7 @@ if ($f === false) { $l = trim(fgets($f)); pclose($f); -if (empty($l)) { +if ($l == '') { print 'Cannot read gpio - is it installed?'; die(); } |