31 Jul
2014
31 Jul
'14
6:13 a.m.
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
Can anyone help me out on this one?
Thanks in advance,
Tom