#! /bin/sh
# usage: pigiRpcDebug <vem-args>
# Version: @(#)pigiRpcDebug	1.2 11/5/92
#
# This is typically invoked from wtih pigiRpcShell as the $COMMAND.
# It brings up the debugger running PIGIRPC.

dbgcmdfile=/tmp/rpc$$
cat > $dbgcmdfile <<EOF
break main
run $*
EOF

xterm -display $DISPLAY -title "pigiRpc debug window" -bg black -fg green \
	-e gdb $PIGIRPC -x $dbgcmdfile &
