diff -r 7f643d41464e -r f904d0eef264 eric6/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py
--- a/eric6/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py Wed Jun 17 17:12:21 2020 +0200
+++ b/eric6/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py Wed Jun 17 20:18:54 2020 +0200
@@ -179,9 +179,12 @@
Public method to cancel all batch jobs.
"""
for lang in self.getLanguages():
- env = self.__supportedLanguages[lang][0]
- self.backgroundService.requestCancel(
- 'batch_{0}Syntax'.format(lang), env)
+ try:
+ env = self.__supportedLanguages[lang][0]
+ self.backgroundService.requestCancel(
+ 'batch_{0}Syntax'.format(lang), env)
+ except KeyError:
+ continue
def __serviceError(self, fn, msg):
"""
