From 352ca8cbcea5e7ff9f1673933a5039a7192e156d Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Tue, 2 Jan 2001 20:36:32 +0000 Subject: Duh. Instead of string.whitespace and string.digits, use isspace() and isdigit() methods. --- Lib/rfc822.py | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/Lib/rfc822.py b/Lib/rfc822.py index 8af8ad2..782054b 100644 --- a/Lib/rfc822.py +++ b/Lib/rfc822.py @@ -57,7 +57,6 @@ There are also some utility functions here. """ # Cleanup and extensions by Eric S. Raymond -import string import time @@ -230,7 +229,7 @@ class Message: for line in self.headers: if line[:n].lower() == name: hit = 1 - elif line[:1] not in string.whitespace: + elif not line[:1].isspace(): hit = 0 if hit: list.append(line) @@ -249,7 +248,7 @@ class Message: hit = 0 for line in self.headers: if hit: - if line[:1] not in string.whitespace: + if not line[:1].isspace(): break elif line[:n].lower() == name: hit = 1 @@ -299,7 +298,7 @@ class Message: current = '' have_header = 0 for s in self.getallmatchingheaders(name): - if s[0] in string.whitespace: + if s[0].isspace(): if current: current = "%s\n %s" % (current, s.strip()) else: @@ -413,7 +412,7 @@ class Message: line = self.headers[i] if line[:n].lower() == name: hit = 1 - elif line[:1] not in string.whitespace: + elif not line[:1].isspace(): hit = 0 if hit: list.append(i) @@ -855,7 +854,7 @@ def parsedate_tz(data): yy, tm = tm, yy if yy[-1] == ',': yy = yy[:-1] - if yy[0] not in string.digits: + if not yy[0].isdigit(): yy, tz = tz, yy if tm[-1] == ',': tm = tm[:-1] -- cgit v0.12