dejsem.1.5/unix/debian/server.DEBIAN/prerm
author hh
Wed, 27 Nov 2019 09:50:16 +0100
changeset 0 676905a3b03c
permissions -rwxr-xr-x
--
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
hh
parents:
diff changeset
     1
#!/bin/sh
hh
parents:
diff changeset
     2
set -e
hh
parents:
diff changeset
     3
. /usr/share/debconf/confmodule
hh
parents:
diff changeset
     4
hh
parents:
diff changeset
     5
rm -rf /usr/lib/dejsem/__pycache__ || true
hh
parents:
diff changeset
     6
hh
parents:
diff changeset
     7
/etc/init.d/dejsemd stop || true
hh
parents:
diff changeset
     8
hh
parents:
diff changeset
     9
#test -e /etc/default/dejsem && . /etc/default/dejsem || true
hh
parents:
diff changeset
    10
test x$LOG != x && rm -f $LOG || true
hh
parents:
diff changeset
    11