Subject: Re: bug#18988: select failure with EINTR in guile-2.0.11
From: [email-masked] (Ludovic Courtès)
To: Chris Vine <[email-masked]>
Cc: [email-masked]
Date: Thu, 20 Nov 2014 21:34:22 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the report and analysis.  I went ahead and commit d1447c7
clarifies the behavior of ‘select’ in the presence of interruptions by
signals (will be in 2.0.12.)

Ludo’.