if "/" not in line:
return 0
i = line.index('/')
- nr,len = int(line[3:i]),int(line[i+1:])
+ try:
+ nr,len = int(line[3:i]),int(line[i+1:])
+ except ValueError:
+ return 0
if nr<1 or nr>len:
return 0
if not row:
def skip_file(self, nr, filename):
if self.checknum>=0 and nr!=self.checknum:
return 1
- if not self.all and self.milestone[filename]!="ok":
+ if not self.all and self.milestone.get(filename,"new")!="ok":
return 1
- if self.diff and self.filename2status[filename]=="ok":
+ if self.diff and self.filename2status(filename,"new")=="ok":
return 1
return 0