deleting pipes on crash

[John Levon]

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

If so, where should I put it !?

thanks
john

-- 
"Now that your records is selling, ain't it about time for you to be bailing out of 
the community 
 and place that you come from, you know your face has got to change, son !"