diff options
Diffstat (limited to 'tools/rebuild.php')
| -rwxr-xr-x | tools/rebuild.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/rebuild.php b/tools/rebuild.php index 3501f8f6..289523a1 100755 --- a/tools/rebuild.php +++ b/tools/rebuild.php @@ -21,11 +21,14 @@ require dirname(__FILE__) . '/inc/cli.php'; +require_once("inc/bans.php"); + $start = microtime(true); // parse command line $opts = getopt('qfb:', Array('board:', 'quick', 'full', 'quiet')); $options = Array(); +$global_locale = $config['locale']; $options['board'] = isset($opts['board']) ? $opts['board'] : (isset($opts['b']) ? $opts['b'] : false); $options['quiet'] = isset($opts['q']) || isset($opts['quiet']); @@ -59,6 +62,8 @@ foreach($boards as &$board) { if(!$options['quiet']) echo "Opening board /{$board['uri']}/...\n"; + // Reset locale to global locale + $config['locale'] = $global_locale; openBoard($board['uri']); $config['try_smarter'] = false; |