#!/bin/sh
#
# usage:  run executable data-file [interpreter]
EXEC="$1"
DATA="$2"
INTERP="$3"
gid=`id -g`
case "$gid" in
500)	DATA=/home/pc2/judge-data/`basename $DATA`
	exec $INTERP $EXEC < $DATA 
	;;
*)	DATA="$2"
	exec $INTERP $EXEC < $DATA
	;;
esac