From c641585a42c3fd546675214a94812bbaa3a1498c Mon Sep 17 00:00:00 2001
From: David Shaw <dshaw@jabberwocky.com>
Date: Thu, 2 Apr 2009 03:50:50 +0000
Subject: [PATCH] * gpgkeys_hkp.c (main): Switch default port for SSLized HKP
 to 443 (i.e. the regular https port).

---
 keyserver/ChangeLog     | 5 +++++
 keyserver/gpgkeys_hkp.c | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/keyserver/ChangeLog b/keyserver/ChangeLog
index 0d93a2780..228eab656 100644
--- a/keyserver/ChangeLog
+++ b/keyserver/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-01  David Shaw  <dshaw@jabberwocky.com>
+
+	* gpgkeys_hkp.c (main): Switch default port for SSLized HKP to
+	443 (i.e. the regular https port).
+
 2009-02-03  David Shaw  <dshaw@jabberwocky.com>
 
 	* gpgkeys_hkp.c (send_key, get_key, get_name, search_key, main):
diff --git a/keyserver/gpgkeys_hkp.c b/keyserver/gpgkeys_hkp.c
index b939e4676..d54803198 100644
--- a/keyserver/gpgkeys_hkp.c
+++ b/keyserver/gpgkeys_hkp.c
@@ -633,7 +633,7 @@ main(int argc,char *argv[])
   if(ascii_strcasecmp(opt->scheme,"hkps")==0)
     {
       proto="https://";
-      port="11372";
+      port="443";
     }
   else
     {