diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php index 2b0252212d3211a1f77b523e34c79b857b8f72e7..2d0b391ab8cbc9e984b27d866c2b8b337146e6e6 100644 --- a/server/lib/classes/monitor_tools.inc.php +++ b/server/lib/classes/monitor_tools.inc.php @@ -193,10 +193,15 @@ class monitor_tools { $distver = 'Jessie'; $distid = 'debian60'; $distbaseid = 'debian'; + } elseif(substr(trim(file_get_contents('/etc/debian_version')),0,1) == '9') { + $distname = 'Debian'; + $distver = 'Stretch'; + $distid = 'debian90'; + $distbaseid = 'debian'; } elseif(strstr(trim(file_get_contents('/etc/debian_version')), '/sid')) { $distname = 'Debian'; $distver = 'Testing'; - $distid = 'debian60'; + $distid = 'debian90'; $distconfid = 'debiantesting'; $distbaseid = 'debian'; } else {