names=""
## If this is a different host, then start a new section of the list.
- case "$host" in "$last") ;; *) { echo; echo "$host"; } >&4 ;; esac
+ case "$last" in
+ "%%%") echo "$host" >&4 ;;
+ "$host") ;;
+ *) { echo; echo "$host"; } >&4 ;;
+ esac
last=$host
## Build a list of names for the host.