tree c067ffa7c3a5b4f923f7e14872263aa07f83ca4a
parent 2cba0f641fcfb57cc9218099fadc33d7d3d3deae
author Guido van Rossum <guido@python.org> 978467792 +0000
committer Guido van Rossum <guido@python.org> 978467792 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4018554

Duh.  Instead of string.whitespace and string.digits, use isspace()
and isdigit() methods.