Re: deleting pipes on crash

[Jean-Marc Lasgouttes]

>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:

John> Should I create a function called emergencyCleanup() that does
John> the bufferlist.emergencySaveall() and delete lyxserver ?

John> If so, where should I put it !?

Probably in the LyX class, I would say.

JMarc