Merge branch 'stable-3.1'

Marius Burkard

2016-05-04 c3189ce6c7301c3ec17878fd3918f31d0d3cb18a

 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;
@@ -366,14 +370,16 @@
            $state = 'error'; // because service is down
         }
      }
/*
      $data['mongodbserver'] = -1;
      if ($this->_checkTcp('localhost', 27017)) {
         $data['mongodbserver'] = 1;
      } else {
         $data['mongodbserver'] = 0;
*/
         //$state = 'error'; // because service is down
         /* TODO!!! check if this is a mongodbserver at all, otherwise it will always throw an error state!!! */
      }
//      }

      /*
       * Return the Result