dap

2025-01-20 13:28:41 +01:00
parent b579384ef2
commit 4d86e52dca
120 changed files with 1838 additions and 5 deletions
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+ROOT_PID=$1
+SIGNAL=$2
+
+terminateTree() {
+	for cpid in $(pgrep -P $1); do
+		terminateTree $cpid
+	done
+	kill -$SIGNAL $1 > /dev/null 2>&1
+}
+
+terminateTree $ROOT_PID