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]