32aa4e255c05eeaa4fdce8382311e47db4006f29 braney Wed Jul 13 13:40:57 2022 -0700 save out cart when giving user chance to redirect to a different machine. This preserves the default cart contents. diff --git src/hg/lib/web.c src/hg/lib/web.c index 7156252..5ca390f 100644 --- src/hg/lib/web.c +++ src/hg/lib/web.c @@ -1615,21 +1615,22 @@ "

" " You might want to navigate to your nearest mirror - %s" "

" "