The question has come up before, but I'm not sure it was in cmdist. I don't know how to search the archives.
There's currently no way to destroy the interpreter and free its resources. I think it would be easy to release most of them (the heap etc), but a complete cleanup would take some effort. Why do you need this? _______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
