Searched refs:infile (Results 1 – 2 of 2) sorted by relevance
31 infile = open(str(source[1]))33 infile = None48 stdin = infile,
1941 def read_options_file(infile): argument1946 data = infile.read()1958 sys.stderr.write("%s:%d: " % (infile.name, i + 1) +1968 sys.stderr.write("%s:%d: " % (infile.name, i + 1) +
