SSH_FORWARDED=$(get_remote_ip -n)
if [ ! -z "$SSH_FORWARDED" ]; then
- if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" ]; then
+ if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" -a ! "$SSH_FORWARDED" = "193.128.72.68" ]; then
SSH_FORWARDED=" (from $SSH_FORWARDED)"
else
SSH_FORWARDED=
# Unscientific check for grid jobs.
case ${SSH_CLIENT##* } in
- 22|2222);;
+ ""|22|2222);;
*) SSH_FORWARDED="$SSH_FORWARDED [grid]"
esac