diff options
Diffstat (limited to '')
-rw-r--r-- | detail.php | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -30,6 +30,12 @@ html_start(); | |||
30 | printf('<fieldset id="%s">', htmlentities($host)); | 30 | printf('<fieldset id="%s">', htmlentities($host)); |
31 | printf('<legend>%s</legend>', htmlentities($host)); | 31 | printf('<legend>%s</legend>', htmlentities($host)); |
32 | 32 | ||
33 | echo <<<EOT | ||
34 | <input type="checkbox" id="navicon" class="navicon" /> | ||
35 | <label for="navicon"></label> | ||
36 | |||
37 | EOT; | ||
38 | |||
33 | if (!$plugins = collectd_plugins($host)) { | 39 | if (!$plugins = collectd_plugins($host)) { |
34 | echo "Unknown host\n"; | 40 | echo "Unknown host\n"; |
35 | return false; | 41 | return false; |