[PATCH 1/4] server: Properly handle disconnected pipe in set_named_pipe_info request.