Re: full_read depends on incoming errno

[Eli Zaretskii]

> From: Andy Wingo <wi...@pobox.com>
> Cc: egg...@cs.ucla.edu,  bug-gnulib@gnu.org
> Date: Wed, 20 Feb 2013 20:58:13 +0100
> 
>     if (full_read (fd, cookie, sizeof cookie) != sizeof cookie
>         || full_read (fd, SCM_BYTEVECTOR_CONTENTS (bv),
>                       SCM_BYTEVECTOR_LENGTH (bv)) != SCM_BYTEVECTOR_LENGTH 
> (bv))
>       {
>         int errno_save = errno;
>         (void) close (fd);
>         errno = errno_save;
>         if (errno)
>           SCM_SYSERROR;
>         scm_misc_error (FUNC_NAME, "file truncated while reading", SCM_EOL);
>       }
> 
> Should be OK, no?

Yes, thanks.