Added Support for Ubuntu 15.04 in OS detect code.

Till Brehm

2015-05-06 68af0bbdd603e8b8bb9eae2cbd55264ce0647ddb

 install/lib/install.lib.php

@@ -86,6 +86,21 @@
         $mainver = array_filter($mainver);
         $mainver = current($mainver).'.'.next($mainver);
         switch ($mainver){
         case "15.04":
            $relname = "(Vivid Vervet)";
            break;
         case "14.10":
            $relname = "(Utopic Unicorn)";
            break;
         case "14.04":
            $relname = "(Trusty Tahr)";
            break;
         case "13.10":
            $relname = "(Saucy Salamander)";
            break;
         case "13.04":
            $relname = "(Raring Ringtail)";
            break;
         case "12.10":
            $relname = "(Quantal Quetzal)";
            break;
@@ -166,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';
@@ -246,6 +267,18 @@
         $distid = 'centos53';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 5 or compatible\n");
      } elseif(stristr($content, 'CentOS Linux release 6')) {
         $distname = 'CentOS';
         $distver = 'Unknown';
         $distid = 'centos53';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 6 or compatible\n");
      } elseif(stristr($content, 'CentOS Linux release 7')) {
         $distname = 'CentOS';
         $distver = 'Unknown';
         $distid = 'centos70';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 7 or compatible\n");
      } else {
         $distname = 'Redhat';
         $distver = 'Unknown';