diff options
| author | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-01-08 10:33:55 +0100 |
|---|---|---|
| committer | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-01-08 10:35:32 +0100 |
| commit | f8e1cadb4ef1d63b1b7252d84b9e7234f55b2f6e (patch) | |
| tree | 5e6b1044a834e1e9db59540d7bdb536f881444ed /debvm-waitssh | |
| parent | 3a6e67783cfa816c37e02b5eea8ef7607e680b6a (diff) | |
| download | debvm-f8e1cadb4ef1d63b1b7252d84b9e7234f55b2f6e.tar.gz | |
debvm-waitssh: output error message if timeout is reached
Diffstat (limited to 'debvm-waitssh')
| -rwxr-xr-x | debvm-waitssh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debvm-waitssh b/debvm-waitssh index 857a958..bde1a93 100755 --- a/debvm-waitssh +++ b/debvm-waitssh @@ -153,5 +153,8 @@ while test "$now" -lt "$deadline"; do now=$(date +%s) fi done +if [ "$VERBOSITY" -ge 1 ]; then + echo "$0: timeout reached trying to contact $HOST:$PORT after waiting $TOTALTIMEOUT seconds." >&2 +fi exit 1 |