- Fixed hanging update on ubuntu 14.10 caused by mysql restart script. - Fi...

Till Brehm

2014-10-27 1e67c170df357c0d0831d223e93a6512d84c523e

 server/lib/classes/monitor_tools.inc.php

@@ -62,6 +62,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;