File: signal-rr-recording.sh

package info (click to toggle)
rr 4.4.0-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 5,484 kB
  • ctags: 7,626
  • sloc: cpp: 31,458; ansic: 16,080; python: 2,774; asm: 425; sh: 323; xml: 294; makefile: 9
file content (22 lines) | stat: -rwxr-xr-x 554 bytes parent folder | download | duplicates (3)
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