Browse Source

tools/rebuild: show currently rebuilded themes

pull/40/head
czaks 9 years ago
parent
commit
0ab8890b67
  1. 11
      inc/functions.php

11
inc/functions.php

@ -355,8 +355,15 @@ function rebuildThemes($action, $boardname = false) {
init_locale($config['locale'], $error); init_locale($config['locale'], $error);
} }
if (PHP_SAPI === 'cli') {
echo "Rebuilding theme ".$theme['theme']."... ";
}
rebuildTheme($theme['theme'], $action, $boardname); rebuildTheme($theme['theme'], $action, $boardname);
if (PHP_SAPI === 'cli') {
echo "done\n";
}
} }
// Restore them again // Restore them again
@ -583,8 +590,8 @@ function file_write($path, $data, $simple = false, $skip_purge = false) {
if ($bytes & ~0x3ff) { // if ($bytes >= 1024) if ($bytes & ~0x3ff) { // if ($bytes >= 1024)
if (file_put_contents($gzpath, gzencode($data), $simple ? 0 : LOCK_EX) === false) if (file_put_contents($gzpath, gzencode($data), $simple ? 0 : LOCK_EX) === false)
error("Unable to write to file: $gzpath"); error("Unable to write to file: $gzpath");
if (!touch($gzpath, filemtime($path), fileatime($path))) //if (!touch($gzpath, filemtime($path), fileatime($path)))
error("Unable to touch file: $gzpath"); // error("Unable to touch file: $gzpath");
} }
else { else {
@unlink($gzpath); @unlink($gzpath);

Loading…
Cancel
Save