tbrehm
2010-09-25 511e608c2a6a10b0bb376e0e9c6bcd2ee5958776
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']);