Jeff, if you run openacs.org:8080 and openacs.org, but only use the openacs.org to grab the cookie, you will be stuck with the same problem, you won't know which one to use. The cookies will again have the same name. A unique id or hash would work, assuming they take into account unique information for each user/virtual server. You can't throw away the port number in http, it is part of the hostname (unless you are on default port 80 or 443 for https).
