From c02b7e4bfce213f1efb86a61cfcd25cd39c29bb2 Mon Sep 17 00:00:00 2001 From: Marius Burkard Date: Thu, 15 Nov 2018 08:35:55 +0100 Subject: [PATCH] - set Debian 8 to supported --- install/lib/install.lib.php | 1 + server/lib/classes/monitor_tools.inc.php | 1 + 2 files changed, 2 insertions(+) diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php index 2c91114584..fd0510faf5 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 4a8f9285d4..49d2ebe602 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'; -- GitLab