a minor issue but easier to fix :-)
if you put the same server name in lower and upper case in the config file the remote install is launched twice.
if you put the same server name in lower and upper case in the config file the remote install is launched twice.