Browse Source

Merge pull request #4896

07d5287 Catch error when done reading files (Suhas Daftuar)
0.10
Wladimir J. van der Laan 10 years ago
parent
commit
e5fc6631b9
No known key found for this signature in database
GPG Key ID: 74810B012346C9A6
  1. 4
      contrib/linearize/linearize-data.py

4
contrib/linearize/linearize-data.py

@ -110,7 +110,11 @@ def copydata(settings, blkindex, blkset):
if not inF: if not inF:
fname = "%s/blk%05d.dat" % (settings['input'], inFn) fname = "%s/blk%05d.dat" % (settings['input'], inFn)
print("Input file" + fname) print("Input file" + fname)
try:
inF = open(fname, "rb") inF = open(fname, "rb")
except IOError:
print "Done"
return
inhdr = inF.read(8) inhdr = inF.read(8)
if (not inhdr or (inhdr[0] == "\0")): if (not inhdr or (inhdr[0] == "\0")):

Loading…
Cancel
Save