Use built in function filter instead of doing it laboriously by hand.

This commit is contained in:
Sjoerd Mullender 2000-08-11 07:48:36 +00:00
parent 1d3e239f08
commit d2653a9e07
1 changed files with 4 additions and 5 deletions

View File

@ -157,11 +157,10 @@ class MHMailbox:
import re
pat = re.compile('^[1-9][0-9]*$')
self.dirname = dirname
files = os.listdir(self.dirname)
list = []
for f in files:
if pat.match(f):
list.append(f)
# the three following lines could be combined into:
# list = map(long, filter(pat.match, os.listdir(self.dirname)))
list = os.listdir(self.dirname)
list = filter(pat.match, list)
list = map(long, list)
list.sort()
# This only works in Python 1.6 or later;