Network/IRC/IrcWidget.py

changeset 2299
73285f9b53d4
parent 2296
da3757bc5218
child 2302
f29e9405c851
equal deleted inserted replaced
2298:fa4f79c34e0c 2299:73285f9b53d4
124 Public method to shut down the widget. 124 Public method to shut down the widget.
125 125
126 @return flag indicating successful shutdown (boolean) 126 @return flag indicating successful shutdown (boolean)
127 """ 127 """
128 if self.__server: 128 if self.__server:
129 ok = E5MessageBox.yesNo(self, 129 if Preferences.getIrc("AskOnShutdown"):
130 self.trUtf8("Disconnect from Server"), 130 ok = E5MessageBox.yesNo(self,
131 self.trUtf8("""<p>Do you really want to disconnect from""" 131 self.trUtf8("Disconnect from Server"),
132 """ <b>{0}</b>?</p><p>All channels will be closed.</p>""")\ 132 self.trUtf8("""<p>Do you really want to disconnect from"""
133 .format(self.__server.getName())) 133 """ <b>{0}</b>?</p><p>All channels will be closed."""
134 """</p>""").format(self.__server.getName()))
135 else:
136 ok = True
134 if ok: 137 if ok:
135 self.__socket.blockSignals(True) 138 self.__socket.blockSignals(True)
136 139
137 self.__send("QUIT :" + self.__quitMessage) 140 self.__send("QUIT :" + self.__quitMessage)
138 self.__socket.flush() 141 self.__socket.flush()

eric ide

mercurial