diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2015-11-21 19:42:08 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2015-11-21 19:42:08 +0200 |
commit | e648e23980d361c8504d41d6b94f9659199ce060 (patch) | |
tree | 128e27f0d35d60ed78c3f291ec30abf4a67f982e /pylint/graph.py | |
parent | 770dd9e70b7235e6268fb4581f1db23ab18c6cd7 (diff) | |
download | pylint-e648e23980d361c8504d41d6b94f9659199ce060.tar.gz |
Cleanup pylint issues
This changeset also brings a couple of changes:
* rrheaders and rcheaders are dropped from html_writer.Table's constructor.
They weren't used at all and it was dead code. This simplified some
if statements.
* _is_attribute_property is used to look for a property assignment
instead on relying on a different implementation.
Diffstat (limited to 'pylint/graph.py')
-rw-r--r-- | pylint/graph.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/pylint/graph.py b/pylint/graph.py index 492f8fd..76d254c 100644 --- a/pylint/graph.py +++ b/pylint/graph.py @@ -101,10 +101,7 @@ class DotBackend(object): pdot.write(self.source) pdot.close() if target != 'dot': - if sys.platform == 'win32': - use_shell = True - else: - use_shell = False + use_shell = sys.platform == 'win32' if mapfile: subprocess.call([self.renderer, '-Tcmapx', '-o', mapfile, '-T', target, dot_sourcepath, |