Brent Fulgham wrote:
Also, can I get PolyML to stop reporting "The standard function is OS.Process.exit" when I call "PolyML.quit()" ?
Use "OS.Process.exit OS.Process.success". I didn't want to remove PolyML.quit completely but once there was a standard basis function to do the same job it seemed unnecessary to keep a non-standard function. I guess PolyML.quit is shorter to type. Does anyone have any feelings either way?
David.