eric6/E5Network/E5JsonServer.py

changeset 8302
8feffa00a7d9
parent 8301
952a05857e81
child 8303
0cbba94590d2
equal deleted inserted replaced
8301:952a05857e81 8302:8feffa00a7d9
288 if connection is not None: 288 if connection is not None:
289 connection.waitForDisconnected() 289 connection.waitForDisconnected()
290 290
291 if idString: 291 if idString:
292 with contextlib.suppress(KeyError): 292 with contextlib.suppress(KeyError):
293 self .__clientProcesses[idString].close() 293 if self .__clientProcesses[idString] is not None:
294 self .__clientProcesses[idString].close()
294 del self.__clientProcesses[idString] 295 del self.__clientProcesses[idString]
295 else: 296 else:
296 if self.__clientProcess is not None: 297 if self.__clientProcess is not None:
297 self.__clientProcess.close() 298 self.__clientProcess.close()
298 self.__clientProcess = None 299 self.__clientProcess = None

eric ide

mercurial