Adding upstream version 0.11.1.upstream/0.11.1upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 13 insertions, 0 deletions

diff --git a/src/scripts/dump-pid.sh b/src/scripts/dump-pid.sh
new file mode 100755
index 0000000..f17630c
--- /dev/null
+++ b/src/scripts/dump-pid.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+IN_PID=`cat`
+
+if test "${IN_PID}" -gt 0 > /dev/null 2>&1 && \
+    kill -0 $IN_PID > /dev/null 2>&1; then
+    echo "== ps =="
+    ps uewww -p $IN_PID
+    echo "== lsof =="
+    lsof -p $IN_PID
+else
+    echo "error: inaccessible process -- $IN_PID" > /dev/stderr
+fi