tree 30e1cfda287237518a60ec94d9c65d169a5351d9
parent 418b536028a29dada69440186266a4a2f763dc34
author Gilles Peskine <Gilles.Peskine@arm.com> 1513274520 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513274520 +0100

compat.sh: use wait_server_start

Port wait_server_start from ssl-opt.sh to compat.sh, instead of just
using "sleep 1". This solves the problem that on a heavily loaded
machine, sleep 1 is sometimes not enough (we had CI failures because
of this). This is also faster on a lightly-loaded machine (execution
time reduced from ~8min to ~6min on my machine).