Searched refs:infile (Results 1 – 2 of 2) sorted by relevance
36 infile = open(str(source[1]), 'rb')38 infile = None53 stdin = infile,
2164 def read_options_file(infile): argument2169 data = infile.read()2181 sys.stderr.write("%s:%d: " % (infile.name, i + 1) +2191 sys.stderr.write("%s:%d: " % (infile.name, i + 1) +
