- ## Wait until it gets torn down. The chicanery with a pipe is because
- ## the ssh process will continue until either it gets disconnected from
- ## the server or stdin closes -- so we have to arrange that stdin doesn't
- ## close. Thanks to Richard Kettlewell for the suggestion.
- rm -f "$host.pipe"; mkfifo -m400 "$host.pipe"
- runssh -N "$host" >/dev/null <"$host.pipe" || :