From b9825e3575e2531383acee111ff3ad9b0044142c Mon Sep 17 00:00:00 2001
From: Ben Fuhrmannek
Date: Wed, 17 Jun 2015 14:54:59 +0200
Subject: set priority for php5enmod (#88)

---
 pkg/build_deb.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkg/build_deb.sh b/pkg/build_deb.sh
index 4dd621c..2f66339 100755
--- a/pkg/build_deb.sh
+++ b/pkg/build_deb.sh
@@ -111,7 +111,7 @@ install -g 0 -o 0 -m 644 $SUHOSIN/modules/suhosin.so $ROOT$PHP_EX
 install -d -g 0 -o 0 $ROOT/usr/share/doc/php5-suhosin-extension
 install -g 0 -o 0 -m 644 $SUHOSIN/suhosin.ini $ROOT/usr/share/doc/php5-suhosin-extension/suhosin.ini.example
 install -d -g 0 -o 0 $ROOT/etc/php5/mods-available
-sed -e 's/^;extension=/extension=/' $SUHOSIN/suhosin.ini >$ROOT/etc/php5/mods-available/suhosin.ini
+( echo '; priority=70' ; sed -e 's/^;extension=/extension=/' $SUHOSIN/suhosin.ini ) >$ROOT/etc/php5/mods-available/suhosin.ini
 chown root:root $ROOT/etc/php5/mods-available/suhosin.ini
 
 fakeroot dpkg-deb -b $ROOT $PKGDIR
-- 
cgit v1.3