69339a3239e9643fbde81b7dd43bc2978a02e13e hiram Wed May 25 10:38:27 2011 -0700 changing uses of cgiServerName to better cgiServerNamePort diff --git src/hg/cartDump/cartDump.c src/hg/cartDump/cartDump.c index d273e90..bc71f6f 100644 --- src/hg/cartDump/cartDump.c +++ src/hg/cartDump/cartDump.c @@ -87,28 +87,28 @@ if (!asTable) { printf("
\n"); } printf("Cookies passed to %s:
\n%s\n