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

Simon Peter speter at inf.ethz.ch
Fri May 4 19:17:05 CEST 2012


Thanks for your patch!

> - trap "pkill -P $$" SIGINT can not kill previous cat process properly,
> so each time I'll get a "device
> busy" error

Can you point out why it is failing? It seems to be working here. 
Unfortunately, your fix will end up killing any cat process in the 
system, which is not desirable.

> - "cat /dev/crbif0rb0c${i}ttyS0 | grep . --line-buffered &" in the for
> loop can not display the
> outputs properly: only empty lines are printed.

Thanks for fixing this one. I'm not sure why it prints only empty lines 
in your case, though I see no problem applying your fix.

Simon



More information about the Barrelfish-users mailing list