diff -r 000000000000 -r 676905a3b03c dejsem.1.5/unix/debian/server.DEBIAN/prerm --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dejsem.1.5/unix/debian/server.DEBIAN/prerm Wed Nov 27 09:50:16 2019 +0100 @@ -0,0 +1,11 @@ +#!/bin/sh +set -e +. /usr/share/debconf/confmodule + +rm -rf /usr/lib/dejsem/__pycache__ || true + +/etc/init.d/dejsemd stop || true + +#test -e /etc/default/dejsem && . /etc/default/dejsem || true +test x$LOG != x && rm -f $LOG || true +