diff options
| author | Loïc Hoguin <[email protected]> | 2024-01-18 14:46:37 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2024-01-18 14:46:37 +0100 |
| commit | 395618eb84cada02875670aec6c3e8f9d923b1f8 (patch) | |
| tree | ad5754754190e1c8149c16609a33be6621b7a0f5 /erlang.mk | |
| parent | 14b96873cf3a9afedeb11f087c5d49f2139665a4 (diff) | |
| download | ct_helper-master.tar.gz ct_helper-master.tar.bz2 ct_helper-master.zip | |
Sometimes the function would find two pids instead of one,
likely due to timing issues related to reusing port numbers.
In these cases we retry up to 5 times with a short timeout
in between.
Diffstat (limited to 'erlang.mk')
0 files changed, 0 insertions, 0 deletions