vogelor
2011-03-26 8bbcc1db8b976a9ccfdcac1dcde5a15c01495d60
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']);