Skip to content
Prev 256278 / 398506 Next

How to *completely* stop a script after stop()?

On 08/04/2011 1:29 PM, Jonathan P Daily wrote:
No, that will probably be very confusing.  The problem is that the 
Windows GUI uses Ctrl-R as a short form of "cut from the editor, paste 
to the console", and it will paste the whole text regardless of whether 
it works or not.  If recover was triggered, it would be sent the 
remainder of the script, which would probably lead to a long sequence of 
errors (recover is looking for an integer).

Duncan Murdoch