Replace file() with open()

This commit is contained in:
Kurt B. Kaiser 2007-08-22 21:34:28 +00:00
parent 2d726df26e
commit 7a4dbaf837

View file

@ -82,7 +82,7 @@ class ScriptBinding:
self.shell = shell = self.flist.open_shell()
saved_stream = shell.get_warning_stream()
shell.set_warning_stream(shell.stderr)
f = file(filename, 'r')
f = open(filename, 'r')
source = f.read()
f.close()
if '\r' in source: