From 9df2ce179e87694eed2be5bac4293f9cccaf7870 Mon Sep 17 00:00:00 2001 From: Michael Save Date: Wed, 14 Mar 2012 21:55:22 +1100 Subject: [PATCH] per-board javascript files --- tools/rebuild.php | 8 ++++++++ 1 file changed, 8 insertions(+) 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";