From: Thomas Veerman <thomas@minix3.org>
Date: Tue, 13 Sep 2011 16:00:39 +0000 (+0000)
Subject: Remove debug print
X-Git-Tag: v3.2.0~307
X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/invmod.png?a=commitdiff_plain;h=1c928cf61ac1b836d3702d36b60e8b6109e892df;p=minix.git

Remove debug print
---

diff --git a/servers/avfs/select.c b/servers/avfs/select.c
index 76780ac5d..98c9b9c1c 100644
--- 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);