Merge branch 'mbedtls-1.3' into mbedtls-1.3-restricted

This commit is contained in:
Jaeden Amero 2018-01-29 12:50:23 +00:00
commit 9233be659d
2 changed files with 17 additions and 6 deletions

View file

@ -780,8 +780,9 @@ if type lsof >/dev/null 2>/dev/null; then
done done
} }
else else
echo "Warning: lsof not available, wait_server_start = sleep"
wait_server_start() { wait_server_start() {
sleep 1 sleep 2
} }
fi fi

View file

@ -187,6 +187,7 @@ if type lsof >/dev/null 2>/dev/null; then
done done
} }
else else
echo "Warning: lsof not available, wait_server_start = sleep $START_DELAY"
wait_server_start() { wait_server_start() {
sleep "$START_DELAY" sleep "$START_DELAY"
} }
@ -409,13 +410,22 @@ fi
# used by watchdog # used by watchdog
MAIN_PID="$$" MAIN_PID="$$"
# be more patient with valgrind # We use somewhat arbitrary delays for tests:
# - how long do we wait for the server to start (when lsof not available)?
# - how long do we allow for the client to finish?
# (not to check performance, just to avoid waiting indefinitely)
# Things are slower with valgrind, so give extra time here.
#
# Note: without lsof, there is a trade-off between the running time of this
# script and the risk of spurious errors because we didn't wait long enough.
# The watchdog delay on the other hand doesn't affect normal running time of
# the script, only the case where a client or server gets stuck.
if [ "$MEMCHECK" -gt 0 ]; then if [ "$MEMCHECK" -gt 0 ]; then
START_DELAY=3 START_DELAY=6
DOG_DELAY=30 DOG_DELAY=60
else else
START_DELAY=1 START_DELAY=2
DOG_DELAY=10 DOG_DELAY=20
fi fi
# Pick a "unique" port in the range 10000-19999. # Pick a "unique" port in the range 10000-19999.