--- a/src/eric7/EricNetwork/EricJsonStreamReader.py Mon Feb 24 15:11:18 2025 +0100 +++ b/src/eric7/EricNetwork/EricJsonStreamReader.py Mon Feb 24 15:43:49 2025 +0100 @@ -64,7 +64,7 @@ if ":" in self.__hostAddress else self.__hostAddress ) - print( # __IGNORE_WARNING_M801__ + print( # __IGNORE_WARNING_M-801__ "JSON server ({2}) listening on: {0}:{1:d}".format( hostAddressStr, self.serverPort(), self.__name )