diff options
Diffstat (limited to 'host.php')
| -rw-r--r-- | host.php | 5 |
1 files changed, 5 insertions, 0 deletions
| @@ -14,6 +14,11 @@ html_start(); | |||
| 14 | printf("<fieldset id=\"%s\">", htmlentities($host)); | 14 | printf("<fieldset id=\"%s\">", htmlentities($host)); |
| 15 | printf("<legend>%s</legend>", htmlentities($host)); | 15 | printf("<legend>%s</legend>", htmlentities($host)); |
| 16 | 16 | ||
| 17 | echo <<<EOT | ||
| 18 | <input type="checkbox" id="navicon" class="navicon" /> | ||
| 19 | <label for="navicon"></label> | ||
| 20 | |||
| 21 | EOT; | ||
| 17 | 22 | ||
| 18 | if (!strlen($host) || !$plugins = collectd_plugins($host)) { | 23 | if (!strlen($host) || !$plugins = collectd_plugins($host)) { |
| 19 | echo "Unknown host\n"; | 24 | echo "Unknown host\n"; |
