Remove debug print

diff --git a/servers/avfs/select.c b/servers/avfs/select.c
index 76780ac5dae99ff71a2086bde0f6507519921ef9..98c9b9c1c8811707877cb3ec86a8e0c28b8055b7 100644 (file)
--- a/servers/avfs/select.c
+++ b/servers/avfs/select.c
@@ -773,11 +773,8 @@ int status;
   struct vnode *vp;
 
   /* Figure out which device is replying */
-  if ((dp = get_dmap(driver_e)) == NULL) {
-       printf("VFS (%s:%d): endpoint %d is not a known driver endpoint\n",
-               __FILE__, __LINE__, driver_e);
-       return;
-  }
+  if ((dp = get_dmap(driver_e)) == NULL) return;
+
   major = dp-dmap;
   dev = makedev(major, minor);