From: jacob Date: Sun, 26 Apr 2009 23:03:02 +0000 (+0000) Subject: Discard hashed hostnames from input. X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/commitdiff_plain/04303ceb59b364aaff2c53a4b738481c68ded866?ds=sidebyside Discard hashed hostnames from input. git-svn-id: svn://svn.tartarus.org/sgt/putty@8518 cda61777-01e9-0310-a592-d414129be87e --- 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.