diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-11-02 12:15:59 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-11-02 12:15:59 +0100 |
| commit | eaf0048d0a6900c5b4a52742f2bf8ec68ef51ebe (patch) | |
| tree | 7d766dbbb9bfe3a9ec0695df40917b6e398d864c /debian/sane-utils.postrm | |
| parent | b9eccdd1582457ebfc52b3daf9d3dcbedc418b30 (diff) | |
| parent | 1bb3f01b7b3abe557e204016894544fe49d63cd7 (diff) | |
Merge branch 'release/debian/1.0.31-3' into masterdebian/1.0.31-3
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 |