vogelor
2011-03-27 4ebc7d18f8921a1eccc04fb5d6398feaf367cc75
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']);