tbrehm
2010-09-24 734d280635d705f4ba17d98dff19f8b21b6e0374
server/server.php
@@ -32,7 +32,7 @@
require('lib/app.inc.php');
set_time_limit(0);
ini_set('error_reporting','E_ALL & ~E_NOTICE');
ini_set('error_reporting',E_ALL & ~E_NOTICE);
// make sure server_id is always an int
$conf['server_id'] = intval($conf['server_id']);