| commit | 352ca8cbcea5e7ff9f1673933a5039a7192e156d | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Tue Jan 02 20:36:32 2001 +0000 |
| committer | Guido van Rossum <guido@python.org> | Tue Jan 02 20:36:32 2001 +0000 |
| tree | c067ffa7c3a5b4f923f7e14872263aa07f83ca4a | |
| parent | 2cba0f641fcfb57cc9218099fadc33d7d3d3deae [diff] |
Duh. Instead of string.whitespace and string.digits, use isspace() and isdigit() methods.