--- a/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py Thu Apr 23 19:09:34 2015 +0200 +++ b/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py Thu Apr 23 20:05:38 2015 +0200 @@ -171,13 +171,10 @@ """ Public method to cancel all batch jobs. """ - envs = [] for lang in self.getLanguages(): env = self.__supportedLanguages[lang][0] - if env not in envs: - envs.append(env) - for lang in envs: - self.backgroundService.requestCancel(lang) + self.backgroundService.requestCancel( + 'batch_{0}Syntax'.format(lang), env) def __serviceError(self, fn, msg): """