src/eric7/RemoteServerInterface/EricServerInterface.py

branch
server
changeset 10771
69dfb1339451
parent 10768
665dd4486071
child 10774
7f7ff7456904
equal deleted inserted replaced
10770:8b4ff92221da 10771:69dfb1339451
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)

eric ide

mercurial