Made read_arg_from_pipe() handle EINTR.