RS formatting fixes

diff --git a/servers/is/dmp_rs.c b/servers/is/dmp_rs.c
index 03f82f1e42baa9060ab9c6e2278ec11189d1cc84..5aa2010f305f57d334b52d67274cc998b3406394 100644 (file)
--- a/servers/is/dmp_rs.c
+++ b/servers/is/dmp_rs.c
@@ -26,12 +26,12 @@ PUBLIC void rproc_dmp()
   getsysinfo(RS_PROC_NR, SI_PROC_TAB, rproc);
 
   printf("Reincarnation Server (RS) system process table dump\n");
-  printf("-proc-pid-flag--dev- -T--checked--alive- -starts-backoff- -command (argc)-\n");
+  printf("-----proc---pid-flag--dev- -T---checked----alive-starts-backoff-command (argc)-\n");
   for (i=prev_i; i<NR_SYS_PROCS; i++) {
        rp = &rproc[i];
        if (! rp->r_flags & RS_IN_USE) continue;
        if (++n > 22) break;
-       printf("%9d %5d %s %3d/%2d %3u %8u %8u  %3dx %3d %s (%d)",
+       printf("%9d %5d %s %3d/%2d %3u %8u %8u %4dx %3d %s (%d)",
                rp->r_proc_nr_e, rp->r_pid, 
                s_flags_str(rp->r_flags),
                rp->r_dev_nr, rp->r_dev_style,