diff options
| author | Steve McIntyre <steve.mcintyre@linaro.org> | 2015-07-17 16:27:09 +0100 |
|---|---|---|
| committer | Steve McIntyre <steve.mcintyre@linaro.org> | 2015-07-17 16:27:09 +0100 |
| commit | c0d23f5824db349de64d734891e9e43792189ac5 (patch) | |
| tree | c551ca6f721879a45af01e274161972d45f952c2 /test | |
| parent | 661fe5954d5da66ffbc11eaaa9dcb6e1bd7a22ba (diff) | |
Use nanoseconds in the logging output, not the logfile name
Change-Id: Ic4a840314854b57a6acd7da9cb0698c5510acb0c
Diffstat (limited to 'test')
| -rwxr-xr-x | test/check_networks | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/check_networks b/test/check_networks index 2d5c200..793bad5 100755 --- a/test/check_networks +++ b/test/check_networks @@ -27,7 +27,7 @@ while true; do fi . test-config - DATE=$(date -u +%F:%H:%M:%S.%N) + DATE=$(date -u +%F:%H:%M:%S) LOGFILE=/tmp/ping-log.${DATE} rm -f ${LOGFILE} for HOST in ${HOSTS}; do @@ -37,7 +37,7 @@ while true; do if [ ${HOST} != ${ME} ] ; then ping -q -c2 ${HOST} >/dev/null 2>&1 error=$? - DATE=$(date -u +%Y-%m-%d/%H:%M:%S) + DATE=$(date -u +%Y-%m-%d/%H:%M:%S.%N) if [ $error -eq 0 ] ; then echo " ${DATE}: ${ME} UP ${HOST}" >> ${LOGFILE} else |