diff options
author | Thomas Bruederli <thomas@roundcube.net> | 2012-08-05 14:13:13 +0200 |
---|---|---|
committer | Thomas Bruederli <thomas@roundcube.net> | 2012-08-05 14:13:35 +0200 |
commit | f42134f815a9238b00dadb6e5a025f3371c48737 (patch) | |
tree | 45903db9f4fdadefdb5b0ab6602280be57220cb0 /bin | |
parent | 79209a67b0f56f8479d4319a2b8fdec8eda8ed6f (diff) |
Fix default skin removal
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/installto.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/installto.sh b/bin/installto.sh index e41156821..4107cf960 100755 --- a/bin/installto.sh +++ b/bin/installto.sh @@ -63,10 +63,11 @@ if (strtolower($input) == 'y') { 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"; } |