/usr/bin/signal-rr-recording is in rr 5.1.0-1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | #!/bin/bash
signal=$1
if [[ "$signal" == "" ]]; then
echo "Usage: $0 <signal>" >&2
echo "Sends <signal> to all processes being recorded by rr" >&2
exit 1
fi
function signal_descendants { pid=$1
for child in `ps -o pid= --ppid $pid`; do
echo Sending $signal to $child
kill -s $signal $child
signal_descendants $child
done
}
for rr_pid in `pidof rr` ; do
if cat /proc/$rr_pid/cmdline | tr '\0' '\n' | head -n2 | tail -n1 | grep -qz '\(^record$\)\|/' ; then
signal_descendants $rr_pid
fi
done
|