Index: Lib/profile.py =================================================================== --- Lib/profile.py (révision 67176) +++ Lib/profile.py (copie de travail) @@ -609,11 +609,8 @@ if (len(sys.argv) > 0): sys.path.insert(0, os.path.dirname(sys.argv[0])) - fp = open(sys.argv[0]) - try: + with open(sys.argv[0], 'rb') as fp: script = fp.read() - finally: - fp.close() run('exec(%r)' % script, options.outfile, options.sort) else: parser.print_usage()