From 07ff51f43f48d896d6b580279b527f793f387946 Mon Sep 17 00:00:00 2001 From: Teng Lin Date: Wed, 19 Nov 2014 16:03:55 -0800 Subject: [PATCH] Fixed a bug that fails to parse hostname starting with numbers. According to RFC 1123, hostnames that begin with numbers are valid. --- orte/util/hostfile/hostfile_lex.l | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/orte/util/hostfile/hostfile_lex.l b/orte/util/hostfile/hostfile_lex.l index ff540ebeb3..b521af23c8 100644 --- a/orte/util/hostfile/hostfile_lex.l +++ b/orte/util/hostfile/hostfile_lex.l @@ -173,7 +173,7 @@ cores_per_socket { orte_util_hostfile_value.sval = yytext; orte_util_hostfile_value.sval = yytext; return ORTE_HOSTFILE_IPV6; } -(\^?[A-Za-z0-9][A-Za-z0-9_\-]*"@")?[A-Za-z][A-Za-z0-9_\-\.]* { +(\^?[A-Za-z0-9][A-Za-z0-9_\-]*"@")?[A-Za-z0-9][A-Za-z0-9_\-\.]* { orte_util_hostfile_value.sval = yytext; return ORTE_HOSTFILE_HOSTNAME; }