diff options
| author | Albert Cheng <acheng@hdfgroup.org> | 2003-03-29 17:36:35 (GMT) |
|---|---|---|
| committer | Albert Cheng <acheng@hdfgroup.org> | 2003-03-29 17:36:35 (GMT) |
| commit | 9dedbf110e768d02d1b8ee11788716aac826ddc8 (patch) | |
| tree | e4d1cbaa738c6ae43c9d982d5fe35d405b4702fb /bin | |
| parent | fc295015d8500f495f5de9d6c9b007c45d21ca3e (diff) | |
| download | hdf5-9dedbf110e768d02d1b8ee11788716aac826ddc8.zip hdf5-9dedbf110e768d02d1b8ee11788716aac826ddc8.tar.gz hdf5-9dedbf110e768d02d1b8ee11788716aac826ddc8.tar.bz2 | |
[svn-r6529] Purpose:
Improvement
Description:
Added a 5 seconds timeout to the PING command so that it can detect
host not online quicker.
Platforms tested:
The three platforms tests do not cover this command.
Test it in eirene where it is usually run.
Misc. update:
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/runtest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/runtest b/bin/runtest index 76e7262..12985b7 100755 --- a/bin/runtest +++ b/bin/runtest @@ -156,8 +156,8 @@ CHECK_RSH() # Test "ping -c ..." style first because some '-c' machines treat # the command 'ping localhost 3' means to ping host '3'. if [ -z "$PING" ]; then - if ping -c 3 localhost >/dev/null 2>&1; then - PING='ping -c 3' + if ping -c 3 -w 5 localhost >/dev/null 2>&1; then + PING='ping -c 3 -w 5' PINGCOUNT= elif ping localhost 3 >/dev/null 2>&1; then PING=ping |