diff options
| author | Justus Winter <justus@gnupg.org> | 2016-10-15 18:15:13 +0200 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2016-10-15 21:36:38 +0200 |
| commit | 341f43df4b3688702746b5d0365c05d99fdeeb4e (patch) | |
| tree | 39fed14ef9709bc086b80a4466a4d7e06313fe0f | |
| parent | 355577bc99c91363a1b7828e81086031ce75979b (diff) | |
boot: Ignore EINTR.
* boot/boot.c (main): Ignore EINTR in the loop processing stdin.
| -rw-r--r-- | boot/boot.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c index 462243c3..02af0688 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -742,7 +742,8 @@ main (int argc, char **argv, char **envp) FD_SET (0, &rmask); if (select (1, &rmask, 0, 0, 0) == 1) read_reply (); - else /* We hosed */ + else if (errno != EINTR) + /* We hosed */ error (5, errno, "select"); } } |