summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorczaks <marcin@6irc.net>2015-02-26 21:44:39 +0100
committerczaks <marcin@6irc.net>2015-02-26 21:44:39 +0100
commit0ab8890b67f58c8323fcbe6468dc9c580a4602ec (patch)
treec0a553703c95647e5606ca130144351bf76c6d91
parenta550c63f9c896ddba236d9136998a858c233b492 (diff)
tools/rebuild: show currently rebuilded themes
-rwxr-xr-xinc/functions.php11
1 files changed, 9 insertions, 2 deletions
diff --git a/inc/functions.php b/inc/functions.php
index 06370d32..ef071592 100755
--- a/inc/functions.php
+++ b/inc/functions.php
@@ -355,8 +355,15 @@ function rebuildThemes($action, $boardname = false) {
init_locale($config['locale'], $error);
}
+ if (PHP_SAPI === 'cli') {
+ echo "Rebuilding theme ".$theme['theme']."... ";
+ }
rebuildTheme($theme['theme'], $action, $boardname);
+
+ if (PHP_SAPI === 'cli') {
+ echo "done\n";
+ }
}
// Restore them again
@@ -583,8 +590,8 @@ function file_write($path, $data, $simple = false, $skip_purge = false) {
if ($bytes & ~0x3ff) { // if ($bytes >= 1024)
if (file_put_contents($gzpath, gzencode($data), $simple ? 0 : LOCK_EX) === false)
error("Unable to write to file: $gzpath");
- if (!touch($gzpath, filemtime($path), fileatime($path)))
- error("Unable to touch file: $gzpath");
+ //if (!touch($gzpath, filemtime($path), fileatime($path)))
+ // error("Unable to touch file: $gzpath");
}
else {
@unlink($gzpath);