From a025cddbc5643d1e8c9d2bf733a101417213d91b Mon Sep 17 00:00:00 2001
From: Thomas Bruederli <thomas@roundcube.net>
Date: Sun, 05 Aug 2012 08:13:13 -0400
Subject: [PATCH] Fix default skin removal
---
bin/installto.sh | 5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/bin/installto.sh b/bin/installto.sh
index 7fdd1b9..de96bf0 100755
--- a/bin/installto.sh
+++ b/bin/installto.sh
@@ -60,10 +60,11 @@
if (is_dir("$target_dir/skins/default")) {
echo "Removing old default skin...";
- system("rm -rf $target_dir/skins/default");
+ system("rm -rf $target_dir/skins/default $target_dir/plugins/jqueryui/themes/default");
foreach (glob(INSTALL_PATH . "plugins/*/skins") as $plugin_skin_dir) {
$plugin_skin_dir = preg_replace('!^.*' . INSTALL_PATH . '!', '', $plugin_skin_dir);
- system("rm -rf $target_dir/$plugin_skin_dir/default");
+ if (is_dir("$target_dir/$plugin_skin_dir/classic"))
+ system("rm -rf $target_dir/$plugin_skin_dir/default");
}
echo "done.\n\n";
}
--
Gitblit v1.9.1