dejsem.1.5/unix/debian/server.DEBIAN/prerm
changeset 0 676905a3b03c
--- /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
+