diff options
| author | Lior Kaplan <kaplanlior@gmail.com> | 2012-11-12 02:30:22 +0200 |
|---|---|---|
| committer | Ondřej Surý <ondrej@sury.org> | 2012-11-24 11:51:13 +0100 |
| commit | 24f3e9105723b221280b003ba1eb81f2523d01a2 (patch) | |
| tree | 3b6d15f5fd95b48de2658805674c0dd848a4a5cf | |
| parent | 39738c291bbe5eea82c83b483137c59de4e50d4c (diff) | |
| download | php-24f3e9105723b221280b003ba1eb81f2523d01a2.tar.gz | |
Exit with code 0 even if module symlink doesn't exist (Closes: #692013)
| -rw-r--r-- | debian/php5enmod | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/debian/php5enmod b/debian/php5enmod index 90ecabd87..19f66f053 100644 --- a/debian/php5enmod +++ b/debian/php5enmod @@ -105,7 +105,15 @@ dismod() { rm -f "${live_link}" FOUND=1 done - [ "${FOUND}" -gt 0 ] && DISABLED=$(($DISABLED+1)) + if [ "${FOUND}" -gt 0 ]; then + DISABLED=$(($DISABLED+1)) + else + if [ -e /etc/php5/mods-available/${modname}.ini ]; then + echo "$modname module already disabled" + else + echo "$modname module does not exist!" + fi + fi } # parse args |