diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2011-01-30 08:58:43 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2011-01-30 08:58:43 -0500 |
| commit | d781c21e2dfa46290fc43fe8ca03f7771b95af78 (patch) | |
| tree | 3327659ebef46104d0c511fa5ab22ccd521b7f23 /coverage/execfile.py | |
| parent | 453c1487076ca12bca8d08d6fc6e8d996eb7745b (diff) | |
| parent | 90fcd5ad9dba104b17dec1b42ab809d59538b3b8 (diff) | |
| download | python-coveragepy-git-d781c21e2dfa46290fc43fe8ca03f7771b95af78.tar.gz | |
Merge in Brett's changes
Diffstat (limited to 'coverage/execfile.py')
| -rw-r--r-- | coverage/execfile.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/coverage/execfile.py b/coverage/execfile.py index 333163f8..8fbf63b8 100644 --- a/coverage/execfile.py +++ b/coverage/execfile.py @@ -38,10 +38,15 @@ def run_python_file(filename, args): try: # Open the source file. try: - source = open(filename, 'rU').read() + source_file = open(filename, 'rU') except IOError: raise NoSource("No file to run: %r" % filename) + try: + source = source_file.read() + finally: + source_file.close() + # We have the source. `compile` still needs the last line to be clean, # so make sure it is, then compile a code object from it. if source[-1] != '\n': |