commit | 103299edb70c016241a89b2e0b4ffd42f1f474ba | [log] [tgz] |
---|---|---|
author | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Dec 19 13:37:41 2017 +0100 |
committer | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Dec 19 13:37:41 2017 +0100 |
tree | 7bf684680a9350cfc02064e1bd39dd714ccfdc05 | |
parent | 80f6be76e0937aeae80f82539c9d4b9234cfa70c [diff] |
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.