From 8d9aa1fe4fa3de0f845769f1aff7c00ca341f7e1 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 30 Sep 2009 08:36:13 +0000 Subject: [PATCH] throw out exec debugging message. --- servers/pm/exec.c | 2 -- servers/vfs/exec.c | 3 --- 2 files changed, 5 deletions(-) diff --git a/servers/pm/exec.c b/servers/pm/exec.c index 054908480..927d1cfc4 100644 --- a/servers/pm/exec.c +++ b/servers/pm/exec.c @@ -160,8 +160,6 @@ int result; { if (rmp->mp_flags & PARTIAL_EXEC) { - printf("partial exec; killing process\n"); - /* Use SIGILL signal that something went wrong */ rmp->mp_sigstatus = SIGILL; exit_proc(rmp, 0, FALSE /*dump_core*/); diff --git a/servers/vfs/exec.c b/servers/vfs/exec.c index cde7151c7..afc219152 100644 --- a/servers/vfs/exec.c +++ b/servers/vfs/exec.c @@ -238,7 +238,6 @@ printf("return at %s, %d\n", __FILE__, __LINE__); if (r != OK) { -printf("return at %s, %d\n", __FILE__, __LINE__); return r; } @@ -590,8 +589,6 @@ phys_bytes seg_bytes; /* how much is to be transferred? */ /* Make sure that the file is big enough */ if (vp->v_size < off+seg_bytes) { - printf("VFS: read_seg: file isn't big enough (size %ld, need %ld)\n", - vp->v_size, off+seg_bytes); return EIO; } -- 2.44.0