From 7ceca0cbb2c36e275131b80fde3ff1922eddc62e Mon Sep 17 00:00:00 2001 From: Jeff Epler Date: Thu, 1 Dec 2022 19:41:28 -0600 Subject: [PATCH] fix display of the 'host not found' message MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The conversion of characters like _space_ in qstrs is a bit ad-hoc. Because "_not_" stands for the logical negation character ¬ the recently added message was displayed incorrectly: ``` >>> socket.getaddrinfo('does.not.exist', 0) Traceback (most recent call last): File "", line 1, in gaierror: (-2, 'Name or service_space¬space_known') ``` I had noticed this, but evidently failed to include the fix in the problem in #7269. --- py/makeqstrdefs.py | 1 + 1 file changed, 1 insertion(+) diff --git a/py/makeqstrdefs.py b/py/makeqstrdefs.py index f035ed5745de6..974227f2a5f4e 100644 --- a/py/makeqstrdefs.py +++ b/py/makeqstrdefs.py @@ -65,6 +65,7 @@ # These are just vexing! del name2codepoint["and"] del name2codepoint["or"] +del name2codepoint["not"] def preprocess():