diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-09-30 16:34:40 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-09-30 16:34:40 +0200 |
| commit | 5cb641c75f11518b06a955e6d817b622fe7ed10f (patch) | |
| tree | 719f2d82fb0e976d63a68ee6a26c697440158330 /debian/sane-utils.postrm | |
| parent | ab6c80ca4da01e641dc3ee5c40013f94d3fdf634 (diff) | |
d/sane-utils.postrm: On purge remove pid file if sysvinit are used
Diffstat (limited to 'debian/sane-utils.postrm')
| -rw-r--r-- | debian/sane-utils.postrm | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/sane-utils.postrm b/debian/sane-utils.postrm index 288b511..275eee6 100644 --- a/debian/sane-utils.postrm +++ b/debian/sane-utils.postrm @@ -44,6 +44,13 @@ if [ "$1" = purge ] ; then if [ -d /var/lib/systemd/deb-systemd-helper-masked ]; then rmdir --ignore-fail-on-non-empty /var/lib/systemd/deb-systemd-helper-masked fi +# +# remove pid file +# + if [ -f /var/run/saned.pid ]; then + rm -f /var/run/saned.pid + fi + fi |