#! /bin/csh

# Get the location of the script
# Use a dedicated variable because variable modifiers (:h) are not allowed on $0
set COMMAND_NAME = ( $0 )
pushd "$COMMAND_NAME:h" > /dev/null
# Use pwd instead of dirname to avoid .. and . in path; we need normalized path to parse the instance name and id
set SCRIPT_LOCATION = ( `pwd` )
popd > /dev/null

$SCRIPT_LOCATION/launcher.csh recoverer $SCRIPT_LOCATION/recoverer.jstart $*
# This newline must remain