I'm curious about the usage of the environment variable TC_SERVER and the java system property tc.server. It doesn't seem to be very well documented. Is there something I'm missing?
Can it accept the same format as tc.config/TC_CONFIG_PATH? That is, a comma separated list of host:port pairs?
If so, then this line from dso-env.bat seems incorrect:
if defined TC_SERVER set TC_JAVA_OPTS=%TC_JAVA_OPTS% -Dtc.server="%TC_SERVER%"
Specifically, the quotes around %TC_SERVER%. That causes dso-env.bat to choke if tc.server has a comma separated list of host:port pairs.
And, yes, it is meant to be a comma-separated list of DSO server addresses meant mainly for experimenting with the demos on multiple nodes. I think you've found a bug. Would you mind filing a JIRA ticket on it?