tbrehm
2010-09-27 7ea431584a636289f73e662aadb16014a7cb951a
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']);