| commit | 80f6be76e0937aeae80f82539c9d4b9234cfa70c | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Dec 19 13:35:10 2017 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Dec 19 13:35:10 2017 +0100 |
| tree | 72f579c2dd02fff665b95d98d32220f23634be60 | |
| parent | ccbbfdf0d80c669d11336727ee5e66db27a50716 [diff] |
wait_server_start: minor efficiency improvement In wait_server_start, fork less. When lsof is present, call it on the expected process. This saves a few percent of execution time on a lightly loaded machine. Also, sleep for a short duration rather than using a tight loop.