Re: Extend filt_dead() with __EV_HUP

2020-06-15 Thread Todd C . Miller
On Mon, 15 Jun 2020 08:41:00 +0200, Martin Pieuchot wrote: > This extends the existing dead filter to add __EV_HUP in order to make > it usable by deadfs. OK millert@ - todd

Extend filt_dead() with __EV_HUP

2020-06-15 Thread Martin Pieuchot
This extends the existing dead filter to add __EV_HUP in order to make it usable by deadfs. ok? diff 6125a47a01eb7846ac29f04db756ccc8201dee58 ba22f59fc655d5ccdb16c30de07bb3f10a45aa74 blob - bb1340da842353113b6bed8e4af1427d033d594f blob + 56f58fcabe6ac056e1d8846640ceafedda53707a ---