Fix possible nullpointer in Preferences

This commit is contained in:
Dominik Schürmann 2014-08-29 18:39:15 +02:00
parent 880aea53c9
commit 8f37b22adb

View File

@ -215,6 +215,9 @@ public class Preferences {
ListIterator<String> it = servers.listIterator();
while (it.hasNext()) {
String server = it.next();
if (server == null) {
continue;
}
if (server.equals("pool.sks-keyservers.net")) {
// use HKPS!
it.set("hkps://hkps.pool.sks-keyservers.net");