Factor execfile out of cmdline, so that we can call python main programs properly: now they get the correct value for __file__.

1 files changed, 11 insertions, 0 deletions

diff --git a/coverage/execfile.py b/coverage/execfile.py
new file mode 100644
index 0000000..bcf5bf4
--- /dev/null
+++ b/coverage/execfile.py
@@ -0,0 +1,11 @@
+"""Execute files of Python code."""
+
+import os, sys
+
+def run_python_file(filename):
+    mod_globals = {
+        '__name__': '__main__',
+        '__file__': filename,
+    }
+    sys.path[0] = os.path.dirname(filename)
+    execfile(filename, mod_globals)