- bugfix for dead symlinks

[packages/browser-plugins.git] / browser-plugins-update.sh

diff --git a/browser-plugins-update.sh b/browser-plugins-update.sh
index 12801c2536d9b100c3811a40af51479cd1a4c169..6747036d1a057313c073fdaa7e8d46937726d4ed 100644 (file)
--- a/browser-plugins-update.sh
+++ b/browser-plugins-update.sh
@@ -66,6 +66,10 @@ blacklisted() {
 get_browsers() {
        for dir in "$browsersdir"/*.*; do
                if [ -L "$dir" ]; then
 get_browsers() {
        for dir in "$browsersdir"/*.*; do
                if [ -L "$dir" ]; then

+                       if [ ! -d "$dir" ]; then
+                               echo >&2 "$0: WARNING: plugindir $dir is not pointing to directory, browser ignored"
+                               continue
+                       fi

                        dir="${dir#$browsersdir/}"
                        browsers="$browsers $dir"
                fi
                        dir="${dir#$browsersdir/}"
                        browsers="$browsers $dir"
                fi


@@ -80,7 +84,7 @@ browserplugindir() {
        local browser="$1"
        local dir
        dir=$(readlink "$browsersdir/$browser")
        local browser="$1"
        local dir
        dir=$(readlink "$browsersdir/$browser")

-       if [ -z "$dir" ]; then
+       if [ ! -d "$dir" -o -z "$dir" ]; then

                echo >&2 "$0: ERROR: browser plugin dir pointing to nowhere for $browser!"
                exit 1
        fi
                echo >&2 "$0: ERROR: browser plugin dir pointing to nowhere for $browser!"
                exit 1
        fi