Merge pull request #276 from teng-lin/master
Fixed a bug that fails to parse hostname starting with numbers.
Этот коммит содержится в:
Коммит
7c0273ecb3
@ -173,7 +173,7 @@ cores_per_socket { orte_util_hostfile_value.sval = yytext;
|
|||||||
orte_util_hostfile_value.sval = yytext;
|
orte_util_hostfile_value.sval = yytext;
|
||||||
return ORTE_HOSTFILE_IPV6; }
|
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;
|
orte_util_hostfile_value.sval = yytext;
|
||||||
return ORTE_HOSTFILE_HOSTNAME; }
|
return ORTE_HOSTFILE_HOSTNAME; }
|
||||||
|
|
||||||
|
Загрузка…
Ссылка в новой задаче
Block a user