1 a4eeb3c1 2005-01-23 devnull #!/usr/local/plan9/bin/rc
 2 a4eeb3c1 2005-01-23 devnull 
 3 fd652ac3 2008-07-10 rsc if(~ $#* 0)
 4 fd652ac3 2008-07-10 rsc 	pid=core
 5 fd652ac3 2008-07-10 rsc if not
 6 fd652ac3 2008-07-10 rsc 	pid=$1
 7 dd6c037b 2006-06-26 devnull shift
 8 fd652ac3 2008-07-10 rsc if(! ~ $pid [0-9] [0-9]*[0-9] */core *.core core.* */core.* core){
 9 dd6c037b 2006-06-26 devnull 	name=$pid
10 dd6c037b 2006-06-26 devnull 	pid=`{psu|awk '$NF=="'$name'" {print $2}'}
11 dd6c037b 2006-06-26 devnull 	if(~ $#pid 0){
12 dd6c037b 2006-06-26 devnull 		echo 'stack: no process '$name
13 dd6c037b 2006-06-26 devnull 		exit none
14 dd6c037b 2006-06-26 devnull 	}
15 dd6c037b 2006-06-26 devnull }
16 dd6c037b 2006-06-26 devnull for(p in $pid)
17 dd6c037b 2006-06-26 devnull 	echo '$c' | 9 db -q $p $*