Merge branch 'stable-3.0.5'

Marius Cramer

2015-05-13 72773a6744609fdbc3bf39f58f073b05bd074c70

 server/lib/classes/monitor_tools.inc.php

@@ -152,6 +152,11 @@
            $distver = 'Wheezy/Sid';
            $distid = 'debian60';
            $distbaseid = 'debian';
         } elseif(strstr(trim(file_get_contents('/etc/debian_version')), '8') || substr(trim(file_get_contents('/etc/debian_version')),0,1) == '8') {
            $distname = 'Debian';
            $distver = 'Jessie';
            $distid = 'debian60';
            $distbaseid = 'debian';
         } else {
            $distname = 'Debian';
            $distver = 'Unknown';