- Added version detection for Ubuntu 14.10 - Fixed a problem with restart o...

Till Brehm

2014-10-27 bc04c3a563378372d8779dac9e307cbb00e12316

 install/lib/install.lib.php

@@ -86,6 +86,9 @@
         $mainver = array_filter($mainver);
         $mainver = current($mainver).'.'.next($mainver);
         switch ($mainver){
         case "14.10":
            $relname = "(Utopic Unicorn)";
            break;
         case "14.04":
            $relname = "(Trusty Tahr)";
            break;