From 789ddb5c0832584e4936054513b877e3fe237ba8 Mon Sep 17 00:00:00 2001 From: Till Brehm Date: Thu, 15 Jun 2017 16:30:23 +0200 Subject: [PATCH] Add support for Debian 9 --- install/dist/conf/debian90.conf.php | 230 +++++++++++++++++++++++ install/lib/install.lib.php | 7 + server/lib/classes/monitor_tools.inc.php | 7 + 3 files changed, 244 insertions(+) create mode 100644 install/dist/conf/debian90.conf.php diff --git a/install/dist/conf/debian90.conf.php b/install/dist/conf/debian90.conf.php new file mode 100644 index 0000000000..92787bf428 --- /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 7f30a4122a..3466d0b50c 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 6b15643668..4544a4e766 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'; -- GitLab