* keyserver.c (keyserver_refresh): Keep track of keys already fetched so
authorDavid Shaw <dshaw@jabberwocky.com>
Wed, 26 May 2004 15:01:48 +0000 (15:01 +0000)
committerDavid Shaw <dshaw@jabberwocky.com>
Wed, 26 May 2004 15:01:48 +0000 (15:01 +0000)
commitc88d037b6b7b3bfde03720bafb632d30c98fd6a3
tree59ffdd3979438ccca5a3a7f2245ff3f50c390de4
parentf44d48928b164a29b79c6d55681b01c44eba5318
* keyserver.c (keyserver_refresh): Keep track of keys already fetched so
we don't do a regular keyserver fetch if the preferred keyserver fetch has
exhausted the list.
g10/ChangeLog
g10/keyserver.c