Network/IRC/IrcWidget.py

changeset 2336
d9e47b8ee1ef
parent 2302
f29e9405c851
child 2339
4ee173db22c2
equal deleted inserted replaced
2334:fc69ad77e18a 2336:d9e47b8ee1ef
216 .format(self.__server.getName())) 216 .format(self.__server.getName()))
217 if ok: 217 if ok:
218 self.networkWidget.addServerMessage(self.trUtf8("Info"), 218 self.networkWidget.addServerMessage(self.trUtf8("Info"),
219 self.trUtf8("Disconnecting from server {0}...").format( 219 self.trUtf8("Disconnecting from server {0}...").format(
220 self.__server.getName())) 220 self.__server.getName()))
221 while self.__channelList: 221 self.__closeAllChannels()
222 channel = self.__channelList.pop()
223 self.channelsWidget.removeTab(self.channelsWidget.indexOf(channel))
224 channel.deleteLater()
225 channel = None
226 self.__send("QUIT :" + self.__quitMessage) 222 self.__send("QUIT :" + self.__quitMessage)
227 self.__socket and self.__socket.flush() 223 self.__socket and self.__socket.flush()
228 self.__socket and self.__socket.close() 224 self.__socket and self.__socket.close()
229 self.__userName = "" 225 self.__userName = ""
230 self.__identityName = "" 226 self.__identityName = ""
341 """ 337 """
342 Private slot to leave a channel and close the associated tab. 338 Private slot to leave a channel and close the associated tab.
343 """ 339 """
344 channel = self.channelsWidget.currentWidget() 340 channel = self.channelsWidget.currentWidget()
345 channel.requestLeave() 341 channel.requestLeave()
342
343 def __closeAllChannels(self):
344 """
345 Private method to close all channels.
346 """
347 while self.__channelList:
348 channel = self.__channelList.pop()
349 self.channelsWidget.removeTab(self.channelsWidget.indexOf(channel))
350 channel.deleteLater()
351 channel = None
346 352
347 def __closeChannel(self, name): 353 def __closeChannel(self, name):
348 """ 354 """
349 Private slot handling the closing of a channel. 355 Private slot handling the closing of a channel.
350 356
430 436
431 def __hostDisconnected(self): 437 def __hostDisconnected(self):
432 """ 438 """
433 Private slot to indicate the host was disconnected. 439 Private slot to indicate the host was disconnected.
434 """ 440 """
441 self.__closeAllChannels()
435 self.networkWidget.addServerMessage(self.trUtf8("Info"), 442 self.networkWidget.addServerMessage(self.trUtf8("Info"),
436 self.trUtf8("Server disconnected.")) 443 self.trUtf8("Server disconnected."))
437 self.networkWidget.setRegistered(False) 444 self.networkWidget.setRegistered(False)
438 self.networkWidget.setConnected(False) 445 self.networkWidget.setConnected(False)
439 self.__server = None 446 self.__server = None

eric ide

mercurial