Re: PATCH: server/named_pipe.c (RESENT)