From 8a07b7687a180cbe7f8535cc10829642cc8abbd4 Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 22 Feb 2008 15:52:13 +0000
Subject: [PATCH] Use nonblocking send to reply.

---
 drivers/libdriver/driver.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/drivers/libdriver/driver.c b/drivers/libdriver/driver.c
index 6f28bb2b9..fe960f22f 100644
--- a/drivers/libdriver/driver.c
+++ b/drivers/libdriver/driver.c
@@ -162,7 +162,12 @@ struct driver *dp;	/* Device dependent entry points. */
 		mess.REP_ENDPT = proc_nr;
 		/* Status is # of bytes transferred or error code. */
 		mess.REP_STATUS = r;	
-		send(device_caller, &mess);
+		r= sendnb(device_caller, &mess);
+		if (r != OK)
+		{
+			printf("driver_task: unable to sendnb to %d: %d\n",
+				device_caller, r);
+		}
 	}
   }
 }