diff options
| author | Ondřej Surý <ondrej@sury.org> | 2012-11-29 08:48:20 +0100 |
|---|---|---|
| committer | Ondřej Surý <ondrej@sury.org> | 2013-01-16 09:02:17 +0100 |
| commit | 5ee6bc14c5bf0788d58963cdfc8de2fdcd01c699 (patch) | |
| tree | 46bf1b9366fb24e63a815801d64b3cc3f00c0dfe /debian/rules | |
| parent | 8f53d6e97edcc277d553c6c50c80bebac534de06 (diff) | |
| download | php-5ee6bc14c5bf0788d58963cdfc8de2fdcd01c699.tar.gz | |
Introduce new (hopefully slightly smarter) way of not deleting still used session files
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index c89c7c868..509786ec3 100755 --- a/debian/rules +++ b/debian/rules @@ -622,6 +622,7 @@ install: build # install common files install -m755 debian/maxlifetime debian/php5-common/usr/lib/php5 + install -m755 debian/sessionclean debian/php5-common/usr/lib/php5 install -m755 debian/php5enmod debian/php5-common/usr/sbin/php5enmod ln -s php5enmod debian/php5-common/usr/sbin/php5dismod |