diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2015-07-03 07:44:30 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2015-07-03 07:44:30 -0400 |
commit | de77a383e1e0267ed2ae3bd321b61916f91f060d (patch) | |
tree | c63e35e933b31fcc916bcbf27f10618732e617b8 /coverage/control.py | |
parent | 8041638970a78ae67f776846d59f6cb8ea158a17 (diff) | |
download | python-coveragepy-git-de77a383e1e0267ed2ae3bd321b61916f91f060d.tar.gz |
The file-rename warning needs to take <string> into account.
Diffstat (limited to 'coverage/control.py')
-rw-r--r-- | coverage/control.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/coverage/control.py b/coverage/control.py index 48c0c1ca..6a03db76 100644 --- a/coverage/control.py +++ b/coverage/control.py @@ -453,10 +453,11 @@ class Coverage(object): dunder_file = frame.f_globals.get('__file__') if dunder_file: filename = self._source_for_file(dunder_file) - if os.path.basename(original_filename) != os.path.basename(filename): - # Files shouldn't be renamed when moved. This happens when - # exec'ing code, not sure why yet. - self._warn("File was renamed?: %r became %r" % (original_filename, filename)) + if original_filename and not original_filename.startswith('<'): + if os.path.basename(original_filename) != os.path.basename(filename): + # Files shouldn't be renamed when moved. This happens when + # exec'ing code, not sure why yet. + self._warn("File was renamed?: %r became %r" % (original_filename, filename)) if not filename: # Empty string is pretty useless. |