FS#4031 - Disabling server option "Network Filesystem" does not work

Florian Schaal

2015-11-14 c8679f3ed2c82c9315f2f8d0c2ba914717b5c3d4

 install/lib/install.lib.php

@@ -86,6 +86,9 @@
         $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;