use a different cookie name for the sticky proxy server -- otherwise it fights with the hub server, and things go to hell.
use a different cookie name for the sticky proxy server -- otherwise it fights with the hub server, and things go to hell.

tscholl2/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,DrXyzzy/smc,tscholl2/smc