diff options
| author | Ondřej Surý <ondrej@sury.org> | 2013-07-09 08:37:27 +0200 |
|---|---|---|
| committer | Ondřej Surý <ondrej@sury.org> | 2013-07-09 09:00:48 +0200 |
| commit | 1696683e80a1fb89bcbd28e87ccb184a73c58b2d (patch) | |
| tree | 25306622c4d57ba616314b82088c6b5e32f6870f /debian/php5-helper | |
| parent | 69cd74c6e56bc103fe47415e19bfbc2f5921dccb (diff) | |
| download | php-1696683e80a1fb89bcbd28e87ccb184a73c58b2d.tar.gz | |
List only installes PHP 5 SAPIs and more fixes
Diffstat (limited to 'debian/php5-helper')
| -rw-r--r-- | debian/php5-helper | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/debian/php5-helper b/debian/php5-helper index 6f36eaf84..f5c9f28e4 100644 --- a/debian/php5-helper +++ b/debian/php5-helper @@ -97,14 +97,17 @@ get_priority() { local source_ini="/etc/php5/mods-available/${modname}.ini" - if module_exists $modname; then + module_ret=0 + module_exists $modname || module_ret=$? + + if [ "$module_ret" -eq 0 ]; then priority=$(sed -ne "s/^; priority=\([0-9]\+\)$/\\1/p" $source_ini) [ -z "$priority" ] && priority=20 - echo $priority return 0 fi - return $? + + return $module_ret } get_live_link() { @@ -125,7 +128,7 @@ module_exists() { local modname=$1 local source_ini="/etc/php5/mods-available/${modname}.ini" - if [ ! -e "${source_ini}" ]; then + if [ ! -r "${source_ini}" ]; then return 1 fi return 0 |