exiting a while loop

[Terry Reedy]

On 5/22/2020 12:31 PM, Grant Edwards wrote:
> On 2020-05-22, Peter Otten <__peter__ at 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