From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Sun, 26 Apr 2009 23:03:02 +0000 (+0000)
Subject: Discard hashed hostnames from input.
X-Git-Tag: 0.61~149
X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=commitdiff_plain;ds=sidebyside;h=54c3773c91c600f703cce8b4c949db2618c1c9ff;p=PuTTY.git

Discard hashed hostnames from input.

[originally from svn r8518]
---

diff --git a/contrib/kh2reg.py b/contrib/kh2reg.py
index 279834c5..4e881861 100755
--- a/contrib/kh2reg.py
+++ b/contrib/kh2reg.py
@@ -128,6 +128,9 @@ for line in fileinput.input(args):
                 sys.stderr.write("Skipping wildcard host pattern '%s'\n"
                                  % host)
                 continue
+            elif re.match (r"\|", host):
+                sys.stderr.write("Skipping hashed hostname '%s'\n" % host)
+                continue
             else:
                 # Slightly bizarre key format: 'type@port:hostname'
                 # As far as I know, the input never specifies a port.