Sindbad~EG File Manager

#!/bin/sh

set -e

if [ "$1" = "remove" -o "$1" = "purge" ]; then
    if dpkg-statoverride --list /var/lib/php/sessions >/dev/null; then
	dpkg-statoverride --remove /var/lib/php/sessions;
    fi
fi

# Automatically added by dh_systemd_start/11.1.3ubuntu1
if [ -d /run/systemd/system ]; then
	deb-systemd-invoke stop 'phpsessionclean.timer' >/dev/null || true
fi
# End automatically added section


exit 0