src/eric7/RemoteServerInterface/EricServerInterface.py

branch
server
changeset 10771
69dfb1339451
parent 10768
665dd4486071
child 10774
7f7ff7456904
--- a/src/eric7/RemoteServerInterface/EricServerInterface.py	Mon Jun 10 16:34:28 2024 +0200
+++ b/src/eric7/RemoteServerInterface/EricServerInterface.py	Mon Jun 10 19:40:54 2024 +0200
@@ -761,10 +761,10 @@
             None,
             self.tr("Stop Server"),
             self.tr(
-                "Do you really want to stop the currently connected eric-ide server?"
-                " No further connections will be possible without restarting the"
-                " server."
-            ),
+                "<p>Do you really want to stop the currently connected eric-ide server"
+                " <b>{0}</b>? No further connections will be possible without"
+                " restarting the server.</p>"
+            ).format(self.getHost()),
         )
         if ok:
             self.shutdownServer()

eric ide

mercurial