Discard hashed hostnames from input.
authorjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Sun, 26 Apr 2009 23:03:02 +0000 (23:03 +0000)
committerjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Sun, 26 Apr 2009 23:03:02 +0000 (23:03 +0000)
git-svn-id: svn://svn.tartarus.org/sgt/putty@8518 cda61777-01e9-0310-a592-d414129be87e

contrib/kh2reg.py

index 279834c..4e88186 100755 (executable)
@@ -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.