diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php index 2c91114584fb54efd85d182020a3314c86471f76..fd0510faf53c164a4b6a2ea49ea906252fe5c8bc 100644 --- a/install/lib/install.lib.php +++ b/install/lib/install.lib.php @@ -227,6 +227,7 @@ function get_distname() { $distver = 'Jessie'; $distid = 'debian60'; $distbaseid = 'debian'; + $distsupported = true; swriteln("Operating System: Debian 8.0 (Jessie) or compatible\n"); } elseif(strstr(trim(file_get_contents('/etc/debian_version')), '9') || substr(trim(file_get_contents('/etc/debian_version')),0,1) == '9') { $distname = 'Debian'; diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php index 4a8f9285d4ccb18096ce80c92081c3c5533ecf26..49d2ebe6026574e38a440abb4b5ca2406c151588 100644 --- a/server/lib/classes/monitor_tools.inc.php +++ b/server/lib/classes/monitor_tools.inc.php @@ -215,6 +215,7 @@ class monitor_tools { $distver = 'Jessie'; $distid = 'debian60'; $distbaseid = 'debian'; + $distsupported = true; } elseif(strstr(trim(file_get_contents('/etc/debian_version')), '9') || substr(trim(file_get_contents('/etc/debian_version')),0,1) == '9') { $distname = 'Debian'; $distver = 'Stretch';