New port: Resin 2.

Submitted by:	Jean-Baptiste Quenot <jb.quenot@caraldi.com>

1 files changed, 43 insertions, 0 deletions

diff --git a/www/resin2/pkg-deinstall b/www/resin2/pkg-deinstall
new file mode 100644
index 000000000000..f5ec53c59f44
--- /dev/null
+++ b/www/resin2/pkg-deinstall
@@ -0,0 +1,43 @@
+#!/bin/sh
+#
+# This script does the following.
+#
+# * Checks if the PID file exists. If it does, it kills the
+#   process and removes the PID file.
+#
+# * Checks if the 'www' user exists. If it does, then it displays
+#   a message.
+#
+
+# Make sure we're in the right stage of the process
+if [ "$2" = "DEINSTALL" ]; then
+
+    # Kill the process if it is still running
+    PID_FILE=/var/run/resin.pid
+    if [ -s ${PID_FILE} ]; then
+        PID=`cat ${PID_FILE}`
+        echo -n ">> Killing Resin process (${PID})..."
+        /bin/kill ${PID} > /dev/null 2> /dev/null
+        if [ $? -eq 0 ]; then
+            echo " [ DONE ]"
+        else
+            echo " [ FAILED ]"
+        fi
+        echo -n ">> Removing PID file (${PID_FILE})..."
+        rm ${PID_FILE} > /dev/null 2> /dev/null
+        if [ $? -eq 0 ]; then
+            echo " [ DONE ]"
+        else
+            echo " [ FAILED ]"
+        fi
+    fi
+fi
+
+if [ "$2" = "POST-DEINSTALL" ]; then
+    # If the user exists, then display a message
+    if pw usershow "www" 2>/dev/null 1>&2; then
+        echo "To delete the www user permanently, use 'pw userdel www'"
+    fi
+fi
+
+exit 0