Add debian/prerm

diff --git a/debian/postinst b/debian/postinst
index 8b783fe..b72feed 100755 (executable)
--- a/debian/postinst
+++ b/debian/postinst
@@ -10,5 +10,3 @@ fi
 if [ "$1" = "configure" ]; then
   adduser --quiet --system --group --no-create-home --home /var/run/uanytun uanytun
 fi
 if [ "$1" = "configure" ]; then
   adduser --quiet --system --group --no-create-home --home /var/run/uanytun uanytun
 fi

-
-#DEBHELPER#

diff --git a/debian/postrm b/debian/postrm
index 345ff3c..9088e15 100755 (executable)
--- a/debian/postrm
+++ b/debian/postrm
@@ -13,5 +13,3 @@ if [ "$1" = "purge" ] ; then
       echo "Not removing uanytun user and group: adduser package not found." >&2
    fi
 fi
       echo "Not removing uanytun user and group: adduser package not found." >&2
    fi
 fi

-
-#DEBHELPER#

diff --git a/debian/prerm b/debian/prerm
new file mode 100755 (executable)
index 0000000..01b209c
--- /dev/null
+++ b/debian/prerm
@@ -0,0 +1,12 @@
+#!/bin/sh
+# prerm script for uanytun
+
+set -e
+
+if [ -x "/etc/init.d/uanytun" ] && [ "$1" = remove ]; then
+  if [ -x "`which invoke-rc.d 2>/dev/null`" ]; then
+    invoke-rc.d uanytun stop || true
+  else
+    /etc/init.d/uanytun stop || true
+  fi
+fi