Joshua D. Drake wrote:
> jd@scratch:~/replicator_tests/REPLICATOR-8.0-1.7/src/test/stress$ host
> www.pgadmin.org
> Host www.pgadmin.org not found: 2(SERVFAIL)
> jd@scratch:~/replicator_tests/REPLICATOR-8.0-1.7/src/test/stress$ host
> pgadmin.org
> pgadmin.org has address 217.196.146.201
> pgadmin.org mail is handled by 0 developer.pgadmin.org.
> pgadmin.org mail is handled by 5 mars.hub.org.
> pgadmin.org mail is handled by 5 pluto.hub.org.
> pgadmin.org mail is handled by 5 jupiter.hub.org.
> pgadmin.org mail is handled by 5 neptune.hub.org.
>
Yeah, I spotted that last night but was too tired to think straight by
then. I think I've figured out what was wrong, and having corrected it,
I can now resolve the hostname on community0.commandprompt correctly.
Thanks, Dave.