5 json = json.load(sys.stdin)
12 if type(names) == type({}):
13 if names.has_key(u'github'):
14 github = names[u'github']
15 elif names.find(' ') != -1:
18 name = name.encode('ascii', 'xmlcharrefreplace')
19 github = github.encode('ascii', 'xmlcharrefreplace')
21 url = 'https://github.com/openssl'
23 url = 'https://github.com/' + github
24 members.append("<tr><td>%s</td><td><a href='%s'>%s</a></td></tr>" % \