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 | 59c5ea34cc0da1b552dba03c0c7f34a83ee94e72 (patch) | |
tree | a7f4b57297e129ec2b5b0fce5f4fc0369bb40dbb /coverage/control.py | |
parent | 23db5d3939149ebc9281333241208f66b6df8065 (diff) | |
download | python-coveragepy-59c5ea34cc0da1b552dba03c0c7f34a83ee94e72.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 48c0c1c..6a03db7 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. |