throw out exec debugging message.

diff --git a/servers/pm/exec.c b/servers/pm/exec.c
index 05490848057fa405ae32f819bb0060d32a6ce988..927d1cfc4c2d8cf92684652b1521484045aa29c4 100644 (file)
--- 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 cde7151c7a6e1e53af5e6bd17b349c25049b53f1..afc2191526f0768ecbd97098274abf0a87a560f7 100644 (file)
--- 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;
   }