On 5/22/2020 12:31 PM, Grant Edwards wrote:
On 2020-05-22, Peter Otten <__pete...@web.de> wrote:
If you want to terminate the script you can use exit. However exit
is a function, and you have to call it
exit()
<pedantic>
Actually it's an instance of _sitebuiltins.Quitter not a function.
Which means that it is not part of the language and is not guaranteed to
exist and will not if the local site module does not inject it. quit()
and exit() are only meant for interactive use at the >>> prompt as a
cross-platform alternative to ^D or ^Z<enter> on non-Windows or Windows.
They should not be used in programs unless explicitly defined or
imported. The reason both exist, violating the 'one obvious rule' is
because both are (were) used used in various other REPLs and interactive
text programs.
--
Terry Jan Reedy
--
https://mail.python.org/mailman/listinfo/python-list
