Discrepancy between Python and Guile wrt exiting the interpreter

[Eli Zaretskii]

> Cc: gdb-patches@sourceware.org
> From: Pedro Alves <palves@redhat.com>
> Date: Thu, 23 Jan 2020 18:21:24 +0000
> 
> I was wrong -- see follow up messages.

Yes, sorry.  I'm used to believing you blindly in these matters ;-)