759 """ |
759 """ |
760 ok = EricMessageBox.yesNo( |
760 ok = EricMessageBox.yesNo( |
761 None, |
761 None, |
762 self.tr("Stop Server"), |
762 self.tr("Stop Server"), |
763 self.tr( |
763 self.tr( |
764 "Do you really want to stop the currently connected eric-ide server?" |
764 "<p>Do you really want to stop the currently connected eric-ide server" |
765 " No further connections will be possible without restarting the" |
765 " <b>{0}</b>? No further connections will be possible without" |
766 " server." |
766 " restarting the server.</p>" |
767 ), |
767 ).format(self.getHost()), |
768 ) |
768 ) |
769 if ok: |
769 if ok: |
770 self.shutdownServer() |
770 self.shutdownServer() |
771 |
771 |
772 @pyqtSlot(QAction) |
772 @pyqtSlot(QAction) |