what is "correct" for users' Preferred keyserver ?

[Doug Barton]

On Aug 14, 2014, at 4:47 AM, David Shaw <dshaw at jabberwocky.com> wrote:

> 
> Perhaps the problem here is not the option, but the behavior on failure.  If querying the preferred keyserver does not return a response during a refresh (for whatever reason), maybe GPG should continue on and try to get the key from the standard --keyserver location.
> 
> After all, it's a "preferred" keyserver.  Not an "exclusive" key server.

Yes! That would be awesome. :)  A warning message in there somewhere of course, but being able to automatically recover from that condition would make the whole system a lot more robust. 

Doug