> +In Emacs a process filter function can be called while the same
> +filter is currently running for the same process, for instance,
> +when the filter bocks on I/O. This wrapper protects the main

I think this deserves an Emacs bug report.  I'm not completely sure it's
a bug rather than a "feature", but it would be good to record this as
a problematic area.  I think many packages are vulnerable to this
problem, although they usually don't suffer from it.  The most common
case where they do suffer from it is when you try to Edebug the
process filter.

ProofGeneral-devel mailing list

Reply via email to