diff options
Diffstat (limited to 'etc/inc/util.inc')
| -rw-r--r-- | etc/inc/util.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 05b33ed..2f0b318 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -1533,6 +1533,10 @@ function alias_get_type($name) { function alias_expand($name) { global $aliastable; + // alias names cannot be strictly numeric. redmine #4289 + if (is_numericint($name)) + return null; + if (isset($aliastable[$name])) { return "\${$name}"; } else if (is_ipaddr($name) || is_subnet($name) || is_port($name) || is_portrange($name)) { |
