src/eric7/Utilities/BackgroundService.py

branch
eric7
changeset 9329
bd8e621c3c20
parent 9328
49a0a9cb2505
child 9403
772b949765dc
equal deleted inserted replaced
9328:49a0a9cb2505 9329:bd8e621c3c20
275 if data == "Unknown batch service.": 275 if data == "Unknown batch service.":
276 self.batchJobDone.emit(fx, lang) 276 self.batchJobDone.emit(fx, lang)
277 self.__cancelled = True 277 self.__cancelled = True
278 else: 278 else:
279 self.batchJobDone.emit(fx, lang) 279 self.batchJobDone.emit(fx, lang)
280 self.restartService(lang, forceKill=True)
281 # TODO: monitor this change
280 else: 282 else:
281 callback = self.services.get((fx, lang)) 283 callback = self.services.get((fx, lang))
282 if callback: 284 if callback:
283 callback[2](fn, *data) 285 callback[2](fn, *data)
284 286

eric ide

mercurial