Skip to content
Prev 247380 / 398503 Next

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

I take you don't use source() to execute your scripts. When using source,
stop() aborts the complete script, just as you indent to.