Searched refs:idstring (Results 1 – 2 of 2) sorted by relevance
177 def make_msgid(idstring=None): argument189 if idstring is None:190 idstring = ''192 idstring = '.' + idstring194 msgid = '<%s.%s.%s%s@%s>' % (utcdate, pid, randint, idstring, idhost)
442 idstring = identifier.split("'")443 if len(idstring) == 1:445 id = idstring[0].strip()446 elif len(idstring) == 3:448 id = idstring[1].strip()