commit 016880229a369a3fb419f3eed28b6db7c342fe71
author Neal Norwitz <nnorwitz@gmail.com> Sun Aug 12 00:43:29 2007 +0000
committer Neal Norwitz <nnorwitz@gmail.com> Sun Aug 12 00:43:29 2007 +0000
tree 9b11de5c197bc556dd515e035327673765cd4871
parent 41eaedd3613cebc83e6b9925499369992c7a7770

Kill execfile(), use exec() instead

Tools/scripts/hotshotmain.py

diff --git a/Tools/scripts/hotshotmain.py b/Tools/scripts/hotshotmain.py
index 4f40628..7e39d98 100644
--- a/Tools/scripts/hotshotmain.py
+++ b/Tools/scripts/hotshotmain.py
@@ -23,7 +23,12 @@
     prof = hotshot.Profile(profile)
     sys.path.insert(0, os.path.dirname(filename))
     sys.argv = [filename] + args
-    prof.run("execfile(%r)" % filename)
+    fp = open(filename)
+    try:
+        script = fp.read()
+    finally:
+        fp.close()
+    prof.run("exec(%r)" % script)
     prof.close()
     stats = hotshot.stats.load(profile)
     stats.sort_stats("time", "calls")