tree 716e152e140fc9dc467b13ff609e7fe17253fb2f
parent fdd45cb8580f06031528ff370e0f6d5322bfe67d
author Guido van Rossum <guido@python.org> 833324905 +0000
committer Guido van Rossum <guido@python.org> 833324905 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%406107

optimization of getheader() using a dictionary