#!/bin/sh

OUTFILE=/tmp/trace$USER$1.out 

if [ $# = 1 ]; then
  PIDFILE=/tmp/trace$USER$1
  for pid in `cat $PIDFILE`; do
     kill $pid
  done
  rm -f $PIDFILE
  cp $OUTFILE ~
fi
