+ f=/a/bin/bash_unpublished/source-state
+ if ! old_info=$($old_shell "hostname; sed -n s,.*MAIL_HOST=,,p $f; sed -n s,.*HOST2=,,p $f"); then
+ echo "$pre: error: failed ssh. retrying failed $old_shell with -v for more info:"
+ $old_shell -v hostname
+ exit 1
+ fi
+ read -d '' -r old_hostname MAIL_HOST HOST2 <<<"$old_info" || (( $? == 1 ))
+