diff options
| -rwxr-xr-x | bin/debvm-waitssh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/debvm-waitssh b/bin/debvm-waitssh index 82eb14d..2b843a5 100755 --- a/bin/debvm-waitssh +++ b/bin/debvm-waitssh @@ -151,8 +151,8 @@ case "$HOST" in *@*) # Guard against strings containing anything but digits, strings starting with # zero and empty strings as the port number. # -# We cannot use [!0-9] because that matches on any character (or possibly -# multi-character collation element) that sorts in between 0 and 9. +# In some locales, [0-9] can match other kinds of digits, see +# https://unix.stackexchange.com/a/414230/46985. case "$PORT" in *[!0123456789]*|0?*|""|??????*) die "$0: port '$PORT' is not an integer between 1 and 65535" ;; esac |