diff -r 8b4ff92221da -r 69dfb1339451 src/eric7/RemoteServerInterface/EricServerInterface.py
--- 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()
