diff options
author | David Pursehouse <david.pursehouse@sonymobile.com> | 2012-11-14 12:09:38 +0900 |
---|---|---|
committer | David Pursehouse <david.pursehouse@sonymobile.com> | 2012-11-14 12:09:38 +0900 |
commit | 8f62fb7bd305337994bced7d23b347d0d39f5faf (patch) | |
tree | 7a00915a4e6138fe2c12d6f8d181b623df8962a2 /git_config.py | |
parent | c1b86a232383748811c6faf17f364e63e10f7dd4 (diff) | |
download | git-repo-8f62fb7bd305337994bced7d23b347d0d39f5faf.tar.gz |
Tidy up code formatting a bit more
Enable the following Pylint warnings:
C0322: Operator not preceded by a space
C0323: Operator not followed by a space
C0324: Comma not followed by a space
And make the necessary fixes.
Change-Id: I74d74283ad5138cbaf28d492b18614eb355ff9fe
Diffstat (limited to 'git_config.py')
-rw-r--r-- | git_config.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git_config.py b/git_config.py index 108438f6..56cc6a24 100644 --- a/git_config.py +++ b/git_config.py | |||
@@ -431,7 +431,7 @@ def _open_ssh(host, port=None): | |||
431 | '-o','ControlPath %s' % ssh_sock(), | 431 | '-o','ControlPath %s' % ssh_sock(), |
432 | host] | 432 | host] |
433 | if port is not None: | 433 | if port is not None: |
434 | command_base[1:1] = ['-p',str(port)] | 434 | command_base[1:1] = ['-p', str(port)] |
435 | 435 | ||
436 | # Since the key wasn't in _master_keys, we think that master isn't running. | 436 | # Since the key wasn't in _master_keys, we think that master isn't running. |
437 | # ...but before actually starting a master, we'll double-check. This can | 437 | # ...but before actually starting a master, we'll double-check. This can |