diff --git a/run-tests.sh b/run-tests.sh index 85d1fb8..9810a3e 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -6,8 +6,10 @@ SERVER_PID= # SSH returns 255 when MUD closes connection after quit — treat as success ssh_mud() { + set +e ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -p 2222 "$@" r=$? + set -e [[ $r -eq 0 || $r -eq 255 ]] || exit 1 }