6759504a5be521228927a7597abdb786454de1b4 kate Thu Nov 1 12:46:16 2012 -0700 Just comments about future direcction for GEO mirror support diff --git src/hg/lib/web.c src/hg/lib/web.c index 36f883c..05afb3f 100644 --- src/hg/lib/web.c +++ src/hg/lib/web.c @@ -211,37 +211,40 @@ puts("<IMG SRC=\"../images/encodeDcc.jpg\" ALT=\"ENCODE Project at UCSC\">"); } else { puts("<IMG SRC=\"../images/title.jpg\">"); } puts("</TH></TR>" "\n" "" "\n" ); } /* Put up the hot links bar. */ char *menuStr = menuBar(theCart); if(menuStr) { - // NOTE: this jsInclude may be gratuitous (menuBar does it already). Ask Larry... + // NOTE: this jsInclude may be gratuitous (menuBar does it already). jsIncludeFile("jquery.js", NULL); if (geoMirrorEnabled()) { // notify client to provide Geo mirror functionality (e.g. in nav bar) printf("<script type='text/javascript'>var GB_geoMirror = %d;</script>\n", sqlUnsigned(geoMirrorNode())); + /* TODO: consider dumping hgcentral.gbNode table here as well so UI + can share w/ browser GEO mirror redirect code + */ } puts(menuStr); } if (endsWith(scriptName, "hgGateway") && geoMirrorEnabled()) { // Show an opt-out alert if user is on a host to which user has been automatically redirected (just once, right after they have been redirected) char *source = cgiOptionalString("source"); char *redirect = cgiOptionalString("redirect"); if (source != NULL && redirect != NULL && sameString(redirect, "auto")) { char *domain = cgiServerName(); char *port = cgiServerPort(); // We don't bother maintaining stuff in request URI, because it may contain items like hgsid and other host specific values int newUriSize = 2048;