I have reworked the whole php5{en,dis}mod thing and I don't really
remember how I reimplemented it :), but the source code helps:
get_priority() {
local sapi=$1
local modname=$2
local source_ini="/etc/php5/mods-available/${modname}.ini"
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 $module_ret
}
So yes, the priority is not set from within the .ini.
As for the documentation - patches are always welcome.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1273225
Title:
php5enmod - priority is not set by argument
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/php5/+bug/1273225/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
