#!/bin/sh

PIDFILE=/tmp/GS$USER
GSOUT=/tmp/gs$USER.out
for pid in `cat $PIDFILE`; do
  kill $pid
done
rm -f $PIDFILE
cp $GSOUT ~
