Hi,
 
Is there a way to include an IP address with a different port in the openmpi hostfile, I keep getting error.. the pc sits on a different port, port 80 whereas the others sit in port 22, how do I do that.