Hi all,
I've noticed a slight problem with TLA--RUN-TLA-ASYNC. If you start a
tla-missing running and then kill the *tla-missing* buffer while
processes are still running, you'll get a whole bunch of "error in
process sentinel" type messages.
The problem is with the sentinel itself, which looks roughly like:
`(lambda (process event)
[...]
(cond ((and (eq state 'exit) (= status 0))
(with-current-buffer ,(current-buffer)
So, when you run TLA--RUN-TLA-ASYNC, your (current-buffer) is grabbed
and put into the sentinel. If you happen to kill this buffer before the
process finishes, you get errors from WITH-CURRENT-BUFFER.
Is the (with-current-buffer ...) really necessary? Does anyone know of
any :finished handlers that rely on being in a certain buffer when the
process finishes? Most of them seem to switch to the process output
buffer anyway.
Cheers,
Mark
--
Mark Triggs
<[EMAIL PROTECTED]>
