#!/bin/csh -f

set uid = `uid`
set gwmpidfile = /tmp/gwm_$uid.pid
set pid = `cat $gwmpidfile`

stop $pid
gcore $pid
kill -CONT $pid

exit 0