Hi all, I included several patches by Dan Grayson for the upcoming version 1.0.6.12. They should make signal handling for plug-ins over a pipe more robust. However, the new code makes use of process groups. If you experience any problems during the compilation, then please let us know.
Best wishes, Joris _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
