Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py

changeset 4235
81278aff6af9
parent 4231
0b38613388c9
child 4503
d68dcbe1deb3
equal deleted inserted replaced
4234:40741c858639 4235:81278aff6af9
169 169
170 def cancelSyntaxBatchCheck(self): 170 def cancelSyntaxBatchCheck(self):
171 """ 171 """
172 Public method to cancel all batch jobs. 172 Public method to cancel all batch jobs.
173 """ 173 """
174 envs = []
175 for lang in self.getLanguages(): 174 for lang in self.getLanguages():
176 env = self.__supportedLanguages[lang][0] 175 env = self.__supportedLanguages[lang][0]
177 if env not in envs: 176 self.backgroundService.requestCancel(
178 envs.append(env) 177 'batch_{0}Syntax'.format(lang), env)
179 for lang in envs:
180 self.backgroundService.requestCancel(lang)
181 178
182 def __serviceError(self, fn, msg): 179 def __serviceError(self, fn, msg):
183 """ 180 """
184 Private slot handling service errors. 181 Private slot handling service errors.
185 182

eric ide

mercurial