| Index: pylint.py
|
| diff --git a/pylint.py b/pylint.py
|
| index 9caa3a37110e19e8c0a435a2db78c3939513a310..f24ab1780192805d0fb9d416b251c2220159ff51 100755
|
| --- a/pylint.py
|
| +++ b/pylint.py
|
| @@ -19,4 +19,8 @@ _RC_FILE = os.path.join(_HERE, 'pylintrc')
|
| # another rcfile is to be used, passing --rcfile a second time on the command-
|
| # line will work fine.
|
| command = [sys.executable, _PYLINT, '--rcfile=%s' % _RC_FILE] + sys.argv[1:]
|
| -sys.exit(subprocess.call(command))
|
| +try:
|
| + sys.exit(subprocess.call(command))
|
| +except KeyboardInterrupt:
|
| + sys.stderr.write('interrupted\n')
|
| + sys.exit(1)
|
|
|