330 conn = self.connections.pop(language, None) |
330 conn = self.connections.pop(language, None) |
331 if conn: |
331 if conn: |
332 conn.blockSignals(True) |
332 conn.blockSignals(True) |
333 conn.close() |
333 conn.close() |
334 if proc: |
334 if proc: |
335 proc.close() |
335 with contextlib.suppress(RuntimeError): |
|
336 proc.close() |
336 |
337 |
337 if interpreter: |
338 if interpreter: |
338 port = self.serverPort() |
339 port = self.serverPort() |
339 process = self.__startExternalClient(interpreter, port) |
340 process = self.__startExternalClient(interpreter, port) |
340 if process: |
341 if process: |