From 4686e11dd59a64913036dc2a7a69be7c694758d1 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Tue, 7 Mar 2006 15:45:14 +0000 Subject: [PATCH] Test receive() return code --- drivers/at_wini/at_wini.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/drivers/at_wini/at_wini.c b/drivers/at_wini/at_wini.c index 3e47ec29c..39f870ed7 100644 --- a/drivers/at_wini/at_wini.c +++ b/drivers/at_wini/at_wini.c @@ -1825,7 +1825,12 @@ PRIVATE void w_intr_wait() if (w_wn->irq != NO_IRQ) { /* Wait for an interrupt that sets w_status to "not busy". */ while (w_wn->w_status & (STATUS_ADMBSY|STATUS_BSY)) { - receive(ANY, &m); /* expect HARD_INT message */ + int rr; + if((rr=receive(ANY, &m)) != OK) { /* expect HARD_INT message */ + printf("w_intr_wait: receive from ANY failed (%d)\n", + r); + continue; /* try again */ + } if (m.m_type == SYN_ALARM) { /* but check for timeout */ w_timeout(); /* a.o. set w_status */ } else if (m.m_type == HARD_INT) {