finish - Finishes execution.
finish*();
This function is used to stop the execution of the program and clear the buffer. This can be used with sendfile. If the buffer has already been flushed, it can’t be cleared.
Note: In the followings examples, the _ between the { should be removed to make it work.
res={_{ "def"; finish(); "abc" }}. return nothing
Written by Pierre Laplante and Caroline Laplante, <laplante@sednove.com>
1.0 2014-09-09 21:24:14 laplante@sednove.com