#! /bin/sh

d=`pwd`
echo ssh -n ${JAVA_BOOTHOST} \
	'cd '$d'; '${JAVA_BOOTDIR}'/bin/idlj ' "$@" >&2
ssh -n ${JAVA_BOOTHOST} \
	'cd '$d'; LC_ALL=C LANG=C '${JAVA_BOOTDIR}'/bin/idlj ' "$@"
