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

Allow relaxed ; priority=<num> parsing

Browse source
This commit is contained in:
Ondřej Surý 2016-12-14 13:56:05 +01:00
parent 33b477cb36
commit b664513ef9
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

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