From 14fd73037386e107dd99bc5a42102e229619e53b Mon Sep 17 00:00:00 2001
From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Date: Sat, 25 Oct 2008 00:16:34 -0400
Subject: [PATCH] switch default keyservers to be pool.sks-keyservers.net,
 since that pool seems to be well-monitored and updated.

---
 etc/monkeysphere.conf   | 2 +-
 src/monkeysphere-server | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/monkeysphere.conf b/etc/monkeysphere.conf
index d9bbad3..a45fff0 100644
--- a/etc/monkeysphere.conf
+++ b/etc/monkeysphere.conf
@@ -17,7 +17,7 @@
 # GNUPGHOME=~/.gnupg
 
 # GPG keyserver to search for keys.
-#KEYSERVER=subkeys.pgp.net
+#KEYSERVER=pool.sks-keyservers.net
 
 # Set whether or not to check keyservers at every monkeysphere
 # interaction, including all ssh connections if you use the
diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index 6d57fc4..d3ba5e4 100755
--- a/src/monkeysphere-server
+++ b/src/monkeysphere-server
@@ -922,7 +922,7 @@ unset MONKEYSPHERE_USER
 # set empty config variable with ones from the environment, or with
 # defaults
 LOG_LEVEL=${MONKEYSPHERE_LOG_LEVEL:=${LOG_LEVEL:="INFO"}}
-KEYSERVER=${MONKEYSPHERE_KEYSERVER:=${KEYSERVER:="subkeys.pgp.net"}}
+KEYSERVER=${MONKEYSPHERE_KEYSERVER:=${KEYSERVER:="pool.sks-keyservers.net"}}
 AUTHORIZED_USER_IDS=${MONKEYSPHERE_AUTHORIZED_USER_IDS:=${AUTHORIZED_USER_IDS:="%h/.monkeysphere/authorized_user_ids"}}
 RAW_AUTHORIZED_KEYS=${MONKEYSPHERE_RAW_AUTHORIZED_KEYS:=${RAW_AUTHORIZED_KEYS:="%h/.ssh/authorized_keys"}}
 MONKEYSPHERE_USER=${MONKEYSPHERE_MONKEYSPHERE_USER:=${MONKEYSPHERE_USER:="monkeysphere"}}
-- 
2.25.1