diff --git a/install/dist/conf/debian90.conf.php b/install/dist/conf/debian90.conf.php new file mode 100644 index 0000000000000000000000000000000000000000..92787bf428c441fdfae359ce967b6a813e42cd53 --- /dev/null +++ b/install/dist/conf/debian90.conf.php @@ -0,0 +1,230 @@ + diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php index 7f30a4122a994032cc7db10aecf9ddb452fb9c7c..3466d0b50c3110882edaae54cda916dff6167e27 100644 --- a/install/lib/install.lib.php +++ b/install/lib/install.lib.php @@ -208,6 +208,13 @@ function get_distname() { $distid = 'debian60'; $distbaseid = 'debian'; 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'; + $distver = 'Stretch'; + $distconfid = 'debian90'; + $distid = 'debian60'; + $distbaseid = 'debian'; + swriteln("Operating System: Debian 9.0 (Stretch) or compatible\n"); } elseif(strstr(trim(file_get_contents('/etc/debian_version')), '/sid')) { $distname = 'Debian'; $distver = 'Testing'; diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php index 6b156436682ad17442eb52474d3bc037a35f181e..4544a4e7664fd2e8ac606d217ba72aca8574ed5e 100644 --- a/server/lib/classes/monitor_tools.inc.php +++ b/server/lib/classes/monitor_tools.inc.php @@ -197,6 +197,13 @@ class monitor_tools { $distver = 'Jessie'; $distid = 'debian60'; $distbaseid = 'debian'; + } 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'; + $distconfid = 'debian90'; + $distid = 'debian60'; + $distbaseid = 'debian'; + swriteln("Operating System: Debian 9.0 (Stretch) or compatible\n"); } elseif(strstr(trim(file_get_contents('/etc/debian_version')), '/sid')) { $distname = 'Debian'; $distver = 'Testing';