c04c97754729a8477bb1a57b2aaed75dcdb122b6
braney
  Wed Aug 6 11:54:07 2025 -0700
make sure AJAX called cartDump adds "db" to the URL

diff --git src/hg/js/ajax.js src/hg/js/ajax.js
index e71f4ec80fd..6dfcb267b8d 100644
--- src/hg/js/ajax.js
+++ src/hg/js/ajax.js
@@ -166,31 +166,31 @@
     if (!errFunc)
         errFunc = errorHandler;
     if (async === null || async === undefined) // async is boolean so be explicit!
         async = true;
 
     // Set up constant portion of url
     var loc = window.location.href;
     if (loc.indexOf("?") > -1) {
         loc = loc.substring(0, loc.indexOf("?"));
     }
     if (loc.lastIndexOf("/") > -1) {
         loc = loc.substring(0, loc.lastIndexOf("/"));
     }
     loc = loc + "/cartDump";
     var hgsid = getHgsid();
-    var data = "submit=1&noDisplay=1&hgsid=" + hgsid;
+    var data = "submit=1&noDisplay=1&hgsid=" + hgsid + "db=" + getDb();
     var track = getTrack();
     if (track && track.length > 0)
         data = data + "&g=" + track;
     for(var ix=0; ix<names.length; ix++) {
         data = data + "&" + encodeURIComponent(names[ix]) + "=" + encodeURIComponent(values[ix]);
     }
     var type;
     // We prefer GETs so we can analyze logs, but use POSTs if data is longer than a
     // (conservatively small)  maximum length to avoid problems on older versions of IE.
     if ((loc.length + data.length) > 2000) {
         type = "POST";
     } else {
         type = "GET";
     }