1
0
Atdalīts 0
Nevar pievienot vairāk kā 25 tēmas Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.

19 rindas
395 B
Bash

#!/bin/sh
set -e
kill_child_jobs() {
echo "In kill_child_jobs()..."
# Workaround for https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482999
tmp="$(mktemp)"
jobs -p > "$tmp"
child_pids=$(cat "$tmp")
for child in $child_pids
do
echo Killing "$child"
# From https://stackoverflow.com/a/11231970
kill "$child" || true
done
rm "$tmp"
}