open-mpi/ompi — pull request #276 by teng-lin (2014-11-20 00:22:37+00:00)
Title: Fixed a bug that fails to parse hostname starting with numbers.

According to RFC 1123, hostnames that begin with numbers are valid.