Use nonblocking send to reply.

diff --git a/drivers/libdriver/driver.c b/drivers/libdriver/driver.c
index 6f28bb2b920ed18a71a629b8155f50646506b404..fe960f22f81255188e5c2e2423a0f6f711e8f8f9 100644 (file)
--- 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);
+               }
        }
   }
 }