Yep that works, thanks very much!
On Thu, 31 Jul 2014 06:26:32 +0100 Rob Arthan <[email protected]> wrote: > > 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
