add sup (simple supervisor)

Signed-off-by: Florian Pritz <bluewind@xssn.at>

1 files changed, 20 insertions, 0 deletions

diff --git a/sup b/sup
new file mode 100755
index 0000000..9fad081
--- /dev/null
+++ b/sup
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+command="$*"
+
+cleanup() {
+  echo "killed... $pid"
+  kill $pid
+  exit
+}
+
+trap cleanup 2 15
+
+while :; do
+  echo -n "running... "
+  $command &
+  pid=$!
+  echo PID: $pid
+  wait $pid
+done
+