Print IPX network numbers as 8 hex digits, as we do elsewhere.

diff --git a/print-ipx.c b/print-ipx.c
index 604561c608458d994180fd4930ca7353fc39b566..c9bde235a1fbc896892b71dec7e0d5395d908743 100644 (file)
--- a/print-ipx.c
+++ b/print-ipx.c
@@ -196,7 +196,7 @@ ipx_rip_print(const u_short *ipx, u_int length)
        (void)printf("ipx-rip-req");
        if (length > 0) {
            TCHECK(ipx[3]);
-           (void)printf(" %u/%d.%d", EXTRACT_32BITS(&ipx[0]),
+           (void)printf(" %08x/%d.%d", EXTRACT_32BITS(&ipx[0]),
                         EXTRACT_16BITS(&ipx[2]), EXTRACT_16BITS(&ipx[3]));
        }
        break;
@@ -204,7 +204,7 @@ ipx_rip_print(const u_short *ipx, u_int length)
        (void)printf("ipx-rip-resp");
        for (i = 0; i < 50 && length > 0; i++) {
            TCHECK(ipx[3]);
-           (void)printf(" %u/%d.%d", EXTRACT_32BITS(&ipx[0]),
+           (void)printf(" %08x/%d.%d", EXTRACT_32BITS(&ipx[0]),
                         EXTRACT_16BITS(&ipx[2]), EXTRACT_16BITS(&ipx[3]));
 
            ipx += 4;