diff --git a/externalLinks b/externalLinks index c83d693..f314272 100755 --- a/externalLinks +++ b/externalLinks @@ -4,8 +4,8 @@ version () { echo '$Author: zimoch $' >&2 - echo '$Date: 2008/12/22 17:11:32 $' >&2 - echo '$Revision: 1.1 $' >&2 + echo '$Date: 2009/05/19 10:27:45 $' >&2 + echo '$Revision: 1.2 $' >&2 echo '$Source: /cvs/G/EPICS/App/scripts/externalLinks,v $' >&2 exit 1 } @@ -382,7 +382,7 @@ function expandFile () { value, record, field, rtype) > "/dev/stderr" } } else if (isinteger[rtype,field]) { - if (!match(value,/^ *[+-]?(0[xX])?[0-9]+ *$/)) { + if (!match(value,/^ *[+-]?(0[xX][0-9A-Fa-f]+|[0-9]+) *$/)) { printf("value \"%s\" in %s.%s (%s) should be integer %d...%d\n", value, record, field, rtype, -range[rtype,field]-1, range[rtype,field]) > "/dev/stderr" } @@ -391,7 +391,7 @@ function expandFile () { value, record, field, rtype, -range[rtype,field]-1, range[rtype,field]) > "/dev/stderr" } } else if (isunsigned[rtype,field]) { - if (!match(value,/^ *+?(0[xX])?[0-9]+ *$/)) { + if (!match(value,/^ *+?(0[xX][0-9A-Fa-f]+|[0-9]+) *$/)) { printf("value \"%s\" in %s.%s (%s) should be unsigned integer 0...%d\n", value, record, field, rtype, range[rtype,field]) > "/dev/stderr" }