2015-12-21 11:03:35 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
if [ "$1" = "configure" ]; then
|
2016-02-02 11:16:35 +01:00
|
|
|
if ! dpkg-statoverride --list /var/lib/php/sessions >/dev/null; then
|
2015-12-21 11:03:35 +01:00
|
|
|
dpkg-statoverride --update --quiet --add root root 01733 /var/lib/php/sessions
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
2016-02-29 18:00:44 +01:00
|
|
|
# Remove old registry directory
|
|
|
|
if [ -d "/var/lib/php/modules/registry" ]; then
|
|
|
|
rm -r /var/lib/php/modules/registry;
|
|
|
|
fi
|
|
|
|
|
2015-12-21 11:03:35 +01:00
|
|
|
#DEBHELPER#
|
|
|
|
|
|
|
|
exit 0
|