11.09.2015 14:18, Massimo Manghi пишет:

Then, in order to mitigate the possible interpreter
termination/initialization storm that might ensue an inappropriate usage
of the 'exit' command

But what's the known *appropriate* usage of the 'exit' command inside rivet?

If there isn't one, maybe just code something like

###

rename exit _exit

proc exit {args} {
error "application error: 'exit' called inside (threaded) Rivet application"
}

--
Best regards, Anton.


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to