- webserver has to be restarted after letsencrypt updates

Marius Burkard

2016-05-11 72057a8e92d76217b16a23ed7cd43e9c5f8432aa

 server/lib/classes/monitor_tools.inc.php

@@ -62,6 +62,10 @@
            $mainver = array_filter($mainver);
            $mainver = current($mainver).'.'.next($mainver);
            switch ($mainver){
            case "16.04":
               $relname = "(Xenial Xerus)";
               $distid = 'ubuntu1604';
               break;
            case "15.10":
               $relname = "(Wily Werewolf)";
               break;