eric6/Utilities/BackgroundService.py

changeset 7630
4010cc7e9c0b
parent 7628
f904d0eef264
child 7635
0cdead130a81
equal deleted inserted replaced
7629:21fea11a82fa 7630:4010cc7e9c0b
450 connection.blockSignals(True) 450 connection.blockSignals(True)
451 connection.close() 451 connection.close()
452 452
453 for process, _interpreter in self.processes.values(): 453 for process, _interpreter in self.processes.values():
454 process.close() 454 process.close()
455 if not process.waitForFinished(10000):
456 process.kill()
455 process = None 457 process = None

eric ide

mercurial