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 |