[polyml] can't quit sessions

On 31 Jul 2014, at 06:13, Tom Meumann <u5028081 at anu.edu.au> wrote:

Hi all,

I'm using PolyML 5.5.0 to run some tests as a batch job and I can't figure out how to quit without using ^D (which I can't feed in automatically when batching things).

I've tried using "PolyML.quit ();" and "PolyML.exit 0;" but neither of these work.

I'm opening the PolyML structure first (open PolyML;) but I'm still getting errors saying that the commands haven't been declared. I can use some other functions defined in PolyML such as "PolyML.use", but not all (for instance "cd" isn't available).

Seems the documentation is incorrect? http://www.polyml.org/docs/Intro1.html

I think that part of the documentation must be out of date.

Can anyone help me out on this one?

There is a Standard Basis Library function that does what you want. Try:

OS.Process.exit OS.Process.success;

Regards,

Rob.