A proxy server for mapping ports to different machines