1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- console/cmds.c.old Wed Oct 30 12:47:26 2002
+++ console/cmds.c Wed Oct 30 12:49:37 2002
@@ -1365,9 +1365,9 @@
if (!pvm_config(&nhosts, &narchs, &hostlist)) {
printf("%d host%s, %d data format%s\n",
nhosts, (nhosts > 1 ? "s" : ""), narchs, (narchs > 1 ? "s" : ""));
- fputs(" HOST DTID ARCH SPEED DSIG\n", stdout);
+ fputs(" HOST DTID ARCH SPEED DSIG\n", stdout);
for (i = 0; i < nhosts; i++)
- printf("%24s %8x %8s%8d 0x%08x\n",
+ printf("%24s %8x %12s%8d 0x%08x\n",
hostlist[i].hi_name,
hostlist[i].hi_tid,
hostlist[i].hi_arch,
|