From b924ce0726868aeb40b27c3d95b644a591310dc2 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Wed, 27 Jul 2005 14:30:17 +0000
Subject: [PATCH] Prettify scheduling queue prints

---
 servers/is/dmp_kernel.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index b04678b9e..6331ea820 100644
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -212,7 +212,6 @@ PUBLIC void image_dmp()
 PUBLIC void sched_dmp()
 {
   struct proc *rdy_head[NR_SCHED_QUEUES];
-  char *types[] = {"task","higher","high","normal","low","lower","user","idle"};
   struct kinfo kinfo;
   register struct proc *rp;
   vir_bytes ptr_diff;
@@ -244,13 +243,14 @@ PUBLIC void sched_dmp()
   printf("Dumping scheduling queues.\n");
 
   for (r=0;r<NR_SCHED_QUEUES; r++) {
-      printf("* %6s: ", types[r]);
       rp = rdy_head[r];
+      if(!rp) continue;
+      printf("%2d: ", r);
       while (rp != NIL_PROC) {
-          printf("%3d, ", rp->p_nr);
+          printf("%3d ", rp->p_nr);
           rp = rp->p_nextready;
       }
-      printf("NIL\n");
+      printf("\n");
   }
   printf("\n");
 }
-- 
2.44.0