Merge remote-tracking branch 'ispc3master/master'

Dominik

2015-01-11 4d29e42f99f7a9b703be4764034d6794464dad26

 server/mods-available/monitor_core_module.inc.php

@@ -41,7 +41,6 @@

   function process() {
   }

}

?>