diff options
| author | Christian Weiske <cweiske@cweiske.de> | 2013-05-25 23:47:45 +0200 |
|---|---|---|
| committer | Christian Weiske <cweiske@cweiske.de> | 2013-05-25 23:47:45 +0200 |
| commit | e6c166f53f76da3d5700bad559c1f7efabd21baf (patch) | |
| tree | 187aadea53050a5abe9b3a31f220cb496fd2e29e | |
| parent | 53bccb2daba10a00b057198de9e63e6206147f87 (diff) | |
| download | usb-wde1-tools-e6c166f53f76da3d5700bad559c1f7efabd21baf.tar.gz usb-wde1-tools-e6c166f53f76da3d5700bad559c1f7efabd21baf.zip | |
check for rrd extension
| -rwxr-xr-x | htmlreport/gen-html.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/htmlreport/gen-html.php b/htmlreport/gen-html.php index 92dc41c..8969e0d 100755 --- 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; |