Don't print events that happen often

diff --git a/servers/avfs/exec.c b/servers/avfs/exec.c
index 5b0ac598c4e331c1d8b2acc2816edb182b895ea5..7c00d3f32885b481b5c75449bec7f416b78872a7 100644 (file)
--- a/servers/avfs/exec.c
+++ b/servers/avfs/exec.c
@@ -146,7 +146,6 @@ PUBLIC int pm_exec(int proc_e, char *path, vir_bytes path_len, char *frame,
 
   /* Fetch the stack from the user before destroying the old core image. */
   if (frame_len > ARG_MAX) {
-               printf("VFS: pm_exec: stack too big\n");
                r = ENOMEM; /* stack too big */
                goto pm_execfinal;
   }
@@ -208,8 +207,8 @@ PUBLIC int pm_exec(int proc_e, char *path, vir_bytes path_len, char *frame,
        /* Get fresh copy of the file name. */
        if ((r = fetch_name(path, path_len, 0, fullpath)) != OK)
                printf("VFS pm_exec: 2nd fetch_name failed\n");
-       else if ((r = patch_stack(vp, mbuf, &frame_len, fullpath)) != OK)
-               printf("VFS pm_exec: patch_stack failed\n");
+       else
+               r = patch_stack(vp, mbuf, &frame_len, fullpath);
 
        unlock_vnode(vp);
        put_vnode(vp);