nhyatt/putty-source
1
0
Fork 0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-04-10 23:58:06 -05:00
Code Issues Projects Releases Wiki Activity

Discard hashed hostnames from input.

Browse Source 
[originally from svn r8518]
This commit is contained in:
Jacob Nevins 2009-04-26 23:03:02 +00:00
parent 542fc983bb
commit 54c3773c91
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
contrib/kh2reg.py
View File

@ -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.