Tue, 13 Feb 2024 09:45:54 +0100
Changed the eric-ide server versions display to show the server host name as well.
src/eric7/RemoteServer/EricServer.py | file | annotate | diff | comparison | revisions | |
src/eric7/RemoteServerInterface/EricServerInterface.py | file | annotate | diff | comparison | revisions |
--- a/src/eric7/RemoteServer/EricServer.py Mon Feb 12 18:12:41 2024 +0100 +++ b/src/eric7/RemoteServer/EricServer.py Tue Feb 13 09:45:54 2024 +0100 @@ -542,6 +542,7 @@ "python": sys.version.split()[0], "py_bitsize": "64-Bit" if sys.maxsize > 2**32 else "32-Bit", "version": Version, + "hostname": socket.gethostname(), }, reqestUuid=reqestUuid, )
--- a/src/eric7/RemoteServerInterface/EricServerInterface.py Mon Feb 12 18:12:41 2024 +0100 +++ b/src/eric7/RemoteServerInterface/EricServerInterface.py Tue Feb 13 09:45:54 2024 +0100 @@ -393,7 +393,10 @@ raise ValueError(f"unsupported reply received ({reply})") else: - versionText = self.tr("""<h2>Server Version Numbers</h2><table>""") + hostname = params['hostname'] + versionText = self.tr( + "<h2>{0}Version Numbers</h2><table>" + ).format(self.tr("{0} - ").format(hostname) if hostname else "") # Python version versionText += (