Marius Cramer
2013-11-14 b1a6a5a3991cec5cd08873b01376e45d0b247f18
server/lib/classes/monitor_tools.inc.php
@@ -232,6 +232,8 @@
      global $conf;
      /** the id of the server as int */
      $server_id = intval($conf['server_id']);
      /**  get the "active" Services of the server from the DB */