5ab325050856f28fa3ed1a297afb5a22d49a51c7
kate
  Thu Oct 27 18:06:08 2016 -0700
Fix extension to JWest-style shell. refs #17369

diff --git src/hg/lib/web.c src/hg/lib/web.c
index ef1a894..1348e51 100644
--- src/hg/lib/web.c
+++ src/hg/lib/web.c
@@ -431,31 +431,31 @@
 }
 
 void webStartJWestOptionalBanner(struct cart *cart, char *db, char *title, boolean doBanner)
 /* Start HTML with new header and footer design by JWest.  
    Optionally display banner above menubar
  */
 {
 puts("Content-type:text/html\n");
 printf(
     #include "jWestHeader.h"
            , title);
 if (doBanner)
     {
     printf(
         #include "jWestBanner.h"
-           , title);
+           , title, title);
     }
 webPushErrHandlersCartDb(cart, db);
 htmlWarnBoxSetup(stdout);
 
 // Add hotlinks bar
 char *navBar = menuBar(cart, db);
 if (navBar)
     {
     puts(navBar);
     // Override nice-menu.css's menu background and fonts:
     puts("<link rel=\"stylesheet\" href=\"../style/jWest.afterNiceMenu.css\">");
     }
 webHeadAlreadyOutputed = TRUE;
 errAbortSetDoContentType(FALSE);
 }