diff options
| author | Peter Palfrader <peter@palfrader.org> | 2003-06-06 10:22:20 +0000 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2003-06-06 10:22:20 +0000 |
| commit | 902c505e4ad26e5fcf261410710cc45530c8223f (patch) | |
| tree | 4f18656a8dd85a3cdd6d19d872fcbae6800e335c /tools | |
| parent | f31116ccddc29da5b6435be2680e238a08405dac (diff) | |
Exit with error if we fail to stop pingd
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/pingctl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/pingctl b/tools/pingctl index ba99c19..3055055 100755 --- a/tools/pingctl +++ b/tools/pingctl @@ -35,8 +35,8 @@ wait_for_deaddaemon () { cnt=`expr $cnt + 1` if [ $cnt -gt 30 ] then - echo -n " Failed.. " - break + echo " Failed.. " + exit 1; fi sleep 2 echo -n "." |