server/lib/classes/monitor_tools.inc.php
@@ -133,6 +133,11 @@ $distver = 'Squeeze/Sid'; $distid = 'debian60'; $distbaseid = 'debian'; } elseif (strstr(trim(file_get_contents('/etc/debian_version')), '7.0') || trim(file_get_contents('/etc/debian_version')) == 'wheezy/sid') { $distname = 'Debian'; $distver = 'Wheezy/Sid'; $distid = 'debian70'; $distbaseid = 'debian'; } else { $distname = 'Debian'; $distver = 'Unknown';