diff options
| author | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-01-08 21:43:19 +0100 |
|---|---|---|
| committer | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-01-08 21:43:19 +0100 |
| commit | 2e2c253fde025921807d37d733f02e3777452da0 (patch) | |
| tree | b7296d7786ae9c19c96d2eac0ba8e72d0a519a92 | |
| parent | 6954937b2288ece3d98a034c5764644c50550a30 (diff) | |
| download | debvm-2e2c253fde025921807d37d733f02e3777452da0.tar.gz | |
debvm-waitssh: remove redundant adjective 'positive' from error message
| -rwxr-xr-x | debvm-waitssh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debvm-waitssh b/debvm-waitssh index 9e61a64..82eb14d 100755 --- a/debvm-waitssh +++ b/debvm-waitssh @@ -154,10 +154,10 @@ case "$HOST" in *@*) # We cannot use [!0-9] because that matches on any character (or possibly # multi-character collation element) that sorts in between 0 and 9. case "$PORT" in *[!0123456789]*|0?*|""|??????*) - die "$0: port '$PORT' is not a positive integer between 1 and 65535" + die "$0: port '$PORT' is not an integer between 1 and 65535" ;; esac if test "$PORT" -lt 1 -o "$PORT" -gt 65535; then - die "$0: port '$PORT' is not a positive integer between 1 and 65535" + die "$0: port '$PORT' is not an integer between 1 and 65535" fi now=$(date +%s) |