vogelor
2011-03-26 f63bda16c2fa90a282657701ae1edaeda832ebc9
server/mods-available/monitor_core_module.inc.php
@@ -76,6 +76,7 @@
    */
   // TODO: what monitoring is done should be a config-var
   private function _doMonitor() {
      global $app;
      /*
       * We need the tools in almost every method, so initialize them once...
       */