File: signal-rr-recording.sh

package info (click to toggle)
rr 2.0.0-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 2,376 kB
  • ctags: 3,373
  • sloc: cpp: 17,766; ansic: 5,798; python: 604; asm: 312; sh: 308; makefile: 10
file content (21 lines) | stat: -rwxr-xr-x 464 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
#!/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
        kill -s $signal $child
        signal_descendants $child
    done
}

for rr_pid in `pidof rr` ; do
    if grep -qz '^record$' /proc/$rr_pid/cmdline ; then
        signal_descendants $rr_pid
    fi
done