On 31 Jul 2014, at 06:13, Tom Meumann <[email protected]> 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.
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
