Merge branch 'master' of ssh://git.cweiske.de/~/git/usb-wde1-tools

diff --git a/htmlreport/gen-html.php b/htmlreport/gen-html.php
index 92dc41c6fcdee70787ff8eccd4c05a8871680945..8969e0d49810be9470b5274947fa2800ff7bdeb9 100755 (executable)
--- a/htmlreport/gen-html.php
+++ b/htmlreport/gen-html.php
@@ -7,6 +7,11 @@ if (!file_exists($cfgfile)) {
 }
 require $cfgfile;
 
+if (!function_exists('rrd_lastupdate')) {
+    echo "rrd PHP extension is missing\n";
+    exit(2);
+}
+
 $data = array();
 foreach ($names as $id => $name) {
     $data[$id]['name'] = $name;