Merge branch 'stable-3.0.5'

Marius Cramer

2015-05-13 72773a6744609fdbc3bf39f58f073b05bd074c70

 install/lib/install.lib.php

@@ -181,6 +181,12 @@
         $distid = 'debian60';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian 7.0 (Wheezy/Sid) or compatible\n");
      } 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';
         swriteln("Operating System: Debian 8.0 (Jessie) or compatible\n");
      } else {
         $distname = 'Debian';
         $distver = 'Unknown';