#!/bin/csh -f

if ( -e /tmp/$REMOTE_HOST ) rm -r /tmp/$REMOTE_HOST
set stuff=$PATH_INFO
setenv PATH_INFO $stuff:r
exec /tmp_mnt/pimms/d5/glenn/jg/htmlbin/$stuff:e