return False
category = m.group(1)
dir_name = 'man' + category
- f = open(name, 'r')
- s = f.read(MAX_LEN+1)
- if len(s) > MAX_LEN:
- return False
- s = s.strip()
- if '\n' in s:
- return False
+ with open(name, 'r') as f:
+ s = f.read(MAX_LEN+1)
+ if len(s) > MAX_LEN:
+ return False
+ s = s.strip()
+ if '\n' in s:
+ return False
m = SO_RE.search(s)
if not m:
return False