diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/rebuild.php | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/rebuild.php b/tools/rebuild.php index 9099ffeb..56f94aa9 100755 --- a/tools/rebuild.php +++ b/tools/rebuild.php @@ -60,6 +60,8 @@ echo "Generating Javascript file...\n"; buildJavascript(); + $main_js = $config['file_script']; + $boards = listBoards(); foreach($boards as &$board) { @@ -69,6 +71,12 @@ echo "Creating index pages...\n"; buildIndex(); + if($config['file_script'] != $main_js) { + // different javascript file + echo "Generating Javascript file...\n"; + buildJavascript(); + } + $query = query(sprintf("SELECT `id` FROM `posts_%s` WHERE `thread` IS NULL", $board['uri'])) or error(db_error()); while($post = $query->fetch()) { echo "Rebuilding #{$post['id']}...\n"; |