### How to change the http/https port of the VMware Server GUI? ###
       
       
       Right after its installation, the GUI of my VMware Server 3.5 was answering on ports TCP/8222 (HTTP) and TCP/8333 (HTTPS).
       
       After some tries, I found out that the only thing to do is change the following parameters of the /etc/vmware/hostd/proxy.xml file:
       
         <httpPort>8222</httpPort>
         <httpsPort>8333</httpsPort>
       
       Just like that:
       
         <httpPort>80</httpPort>
         <httpsPort>443</httpsPort>
       
       Now, my VMware Server GUI is running on the (standard) TCP/80 port for HTTP, and TCP/443 for HTTPS.