On Monday, June 28, 2004 at 01:18:46, Masatake YAMATO wrote: > I think tla--status-handler is not useful in tla--run-tla-async. > Documentation for tla--status-handler is broken?
Ah I missed this when converting tla--run-tla-async to also return a status code, but it should not do big harm as the first case is always triggered now. The only thing I do not understand is what it was meant to do before, if STATUS was a string, but without "abnormal exit" is was triggering an error, which does not make sense to me? IMHO if (/= status 0) it should display the related error buffer. Sorry, I am out of sync and have no spare time digging into this now ... Bye Robert
