diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/inc/cli.php | 10 | ||||
| -rwxr-xr-x | tools/rebuild.php | 11 |
2 files changed, 19 insertions, 2 deletions
diff --git a/tools/inc/cli.php b/tools/inc/cli.php new file mode 100644 index 00000000..5305c1ac --- /dev/null +++ b/tools/inc/cli.php @@ -0,0 +1,10 @@ +<?php + +$mod = Array( + 'id' => -1, + 'type' => ADMIN, + 'username' => '?', + 'boards' => Array('*') +); + + diff --git a/tools/rebuild.php b/tools/rebuild.php index 8bb8373b..9099ffeb 100755 --- a/tools/rebuild.php +++ b/tools/rebuild.php @@ -7,7 +7,14 @@ require 'inc/user.php'; require 'inc/mod.php'; - set_time_limit($config['mod']['rebuild_timelimit']); + require dirname(__FILE__) . '/inc/cli.php'; + + $mod = Array( + 'id' => -1, + 'type' => ADMIN, + 'username' => '?', + 'boards' => Array('*') + ); $start = microtime(true); @@ -71,5 +78,5 @@ printf("Complete! Took %g seconds\n", microtime(true) - $start); - // modLog('Rebuilt everything using tools/rebuild.php'); + modLog('Rebuilt everything using tools/rebuild.php'); |