Both servers have been set up manually with the help of the web UI. This has been done due to the fact that there are slight differences between the two servers, for example the operating system is Windows Server 2003 in one case (TC 6.5.1) and Windows Server 2008 in the other case (TC 7.1.4).