Jean-Marc Lasgouttes wrote:
LyXPipes should be removed on a crash, IMO.
I have not quite figured out yet when this remnant lyxpipes occur. I will keep an eye on it.
If I kill LyX with e.g. "kill -QUIT" then they are not removed. But this is not the same as a crash, I know ...
/Konrad
