Preferred keyserver

[Nicolas Rachinsky]

Hallo,

nicolas at pc5 ~> gpg --refresh 887BAE72 A32C2932
gpg: requesting key A32C2932 from http server www.rachinsky.de
gpg: key F66AFAF2: "Nicolas Rachinsky (SIGNING KEY - CERTIFICATION ONLY) <nicolas at rachinsky.de>" not changed
gpg: key A32C2932: "Nicolas Rachinsky (Communication Key) <nicolas at rachinsky.de>" not changed
gpg: Total number processed: 2
gpg:              unchanged: 2
gpg: refreshing 1 key from hkp://random.sks.keyserver.penguin.de
gpg: requesting key 887BAE72 from hkp server random.sks.keyserver.penguin.de
gpg: key 887BAE72: "Nicolas Rachinsky <nicolas at rachinsky.de>" not changed
gpg: Total number processed: 1
gpg:              unchanged: 1

nicolas at pc5 ~> gpg --refresh 887BAE72
gpg: requesting key 887BAE72 from http server www.rachinsky.de
gpg: key 887BAE72: "Nicolas Rachinsky <nicolas at rachinsky.de>" not changed
gpg: Total number processed: 1
gpg:              unchanged: 1

Why is gnupg fetching 887BAE72 one time from the preferred keyserver
and the other time from the default one?

Nicolas

-- 
http://www.rachinsky.de/nicolas