biermeester/Pylinter — pull request #58 by tdubourg (2014-08-12 14:27:14+00:00)
Title: Killing the currently running pylinter for the same file before spawning...

... a new one: Avoiding having 11 currently running linter when saving often and linter being slow