diff options
| author | czaks <marcin@6irc.net> | 2015-04-05 18:50:16 +0200 |
|---|---|---|
| committer | czaks <marcin@6irc.net> | 2015-04-05 18:50:16 +0200 |
| commit | aadbf4852f51a1fee02dfee9708d5b1d67eedf6d (patch) | |
| tree | c8198f4e2502849d47c6b516df63e42fbb688481 /tools | |
| parent | dc2928a14dcd29bf8502b6a9dc1357ad0e624251 (diff) | |
tools/rebuild.php: fix for bans.php not included by default and public_banlist
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/rebuild.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/rebuild.php b/tools/rebuild.php index 82df3e19..289523a1 100755 --- a/tools/rebuild.php +++ b/tools/rebuild.php @@ -21,6 +21,8 @@ require dirname(__FILE__) . '/inc/cli.php'; +require_once("inc/bans.php"); + $start = microtime(true); // parse command line |