Merge pull request #684 from da-kid/master

Fix of #683
This commit is contained in:
Dominik Schürmann 2014-06-23 19:35:27 +02:00
commit 804f811998

View File

@ -316,6 +316,12 @@ public class HkpKeyserver extends Keyserver {
while (uidMatcher.find()) { while (uidMatcher.find()) {
String tmp = uidMatcher.group(1).trim(); String tmp = uidMatcher.group(1).trim();
if (tmp.contains("%")) { if (tmp.contains("%")) {
if(tmp.contains("%%")) {
// This is a fix for issue #683
// The server encodes a percent sign as %%, so it is swapped out with its
// urlencoded counterpart to prevent errors
tmp = tmp.replace("%%", "%25");
}
try { try {
// converts Strings like "Universit%C3%A4t" to a proper encoding form "Universität". // converts Strings like "Universit%C3%A4t" to a proper encoding form "Universität".
tmp = (URLDecoder.decode(tmp, "UTF8")); tmp = (URLDecoder.decode(tmp, "UTF8"));