dprevot/php-defaults
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Fix priorities handling in php-helper

Browse source
This commit is contained in:
Tugdual Saunier 2016-02-04 14:16:24 +01:00 committed by Ondřej Surý
parent bd1927a534
commit 15eb851b50
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
php-helper
View file

@ -123,7 +123,7 @@ get_priority() {
module_exists "$version" "$modname" || module_ret=$?
if [ "$module_ret" -eq 0 ]; then
priority=$(sed -ne "s/^; ?priority=\([0-9]\+\)$/\\1/p" "$source_ini")
priority=$(sed -ne "s/^; \?priority=\([0-9]\+\)$/\\1/p" "$source_ini")
[ -z "$priority" ] && priority=20
echo "$priority"
return 0