X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Fsrc%2Flwip%2Fcore%2Finit.c;h=5a295387cab389e32753060a9c8b0ebd884df39b;hp=5e0b522c58ff8fa8d97c1df7e4368a5c20143b0a;hb=a1073097716c800734e117267ce7aa92aa0d9a17;hpb=819c31aa7157ed1e3e17b9f05bf74de38179233d

diff --git a/geekos/src/lwip/core/init.c b/geekos/src/lwip/core/init.c
index 5e0b522..5a29538 100644
--- a/geekos/src/lwip/core/init.c
+++ b/geekos/src/lwip/core/init.c
@@ -200,7 +200,7 @@ lwip_sanity_check(void)
   if (TCP_SNDLOWAT > TCP_SND_BUF)
     LWIP_PLATFORM_DIAG(("lwip_sanity_check: WARNING: TCP_SNDLOWAT must be less than or equal to TCP_SND_BUF.\n"));
   if (TCP_WND > (PBUF_POOL_SIZE*PBUF_POOL_BUFSIZE))
-    LWIP_PLATFORM_DIAG(("lwip_sanity_check: WARNING: TCP_WND is larger than space provided by PBUF_POOL_SIZE*PBUF_POOL_BUFSIZE\n"));
+    LWIP_PLATFORM_DIAG(("lwip_sanity_check: WARNING: TCP_WND is larger than space provided by PBUF_POOL_SIZE*PBUF_POOL_BUFSIZE: %d\n",  (PBUF_POOL_SIZE*PBUF_POOL_BUFSIZE)));
   if (TCP_WND < TCP_MSS)
     LWIP_PLATFORM_DIAG(("lwip_sanity_check: WARNING: TCP_WND is smaller than MSS\n"));
 #endif /* LWIP_TCP */