Quoting Robert Widhopf-Fenk <[EMAIL PROTECTED]>: > IMHO if (/= status 0) it should display the related error buffer.
No: This is the role of the default error handler. If you use the status handler, it means you want to get the status from outside the tla--run-tla-(a)sync function, and therefore that the caller should manage the error. An exit status != 0 is not necessarily an error (tla changes for example). -- Matthieu ------------------------------------------------- envoyé via Webmail/IMAG !
