[Barrelfish-users] FYI, a Fix for /tools/scc/watchall.sh

[Simon Peter]

>         - trap "pkill -P $$" SIGINT can not kill previous cat process
>         properly,
> I suddenly realized that I mis-understood the trap command. It's used to
> kill all the processes created by this script when user hit crtl+c to
> terminate, right? What a good script trick that I didn't know before.

Correct. That's what it's supposed to do.

Simon