is: leave newline for stacktrace for SF9 dump

	. otherwise the standard console screen can't hold them

Change-Id: Iea2c047b715bc456747aace8957d8c5eeb94d0fa

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 34f477e1ff7de1800a6227583c7ca2a42bf821b4..ff9d53b6c11728a209b13f8d957c15ab32ec2c75 100644 (file)
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -33,7 +33,7 @@ static int pagelines;
        for (rp = oldrp; rp < END_PROC_ADDR; rp++) { \
          oldrp = BEG_PROC_ADDR; \
          if (isemptyp(rp)) continue; \
-         if (++pagelines > LINES) { oldrp = rp; printf("--more--\n"); break; }\
+         if (++pagelines >= LINES) { oldrp = rp; printf("--more--\n"); break; }\
          if (proc_nr(rp) == IDLE)      printf("(%2d) ", proc_nr(rp));  \
          else if (proc_nr(rp) < 0)     printf("[%2d] ", proc_nr(rp));  \
          else                          printf(" %2d  ", proc_nr(rp));
@@ -369,6 +369,7 @@ void procstack_dmp()
 
   PROCLOOP(rp, oldrp)
        PRINTRTS(rp);
+       printf("\n"); pagelines++;
        sys_sysctl_stacktrace(rp->p_endpoint);
   }
 }