diff options
author | Christopher Baines <mail@cbaines.net> | 2022-10-16 21:44:46 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2022-10-16 21:44:46 +0100 |
commit | 26fe4a780463d56d594e71b09025a7176753d976 (patch) | |
tree | 4ed9c7278795ece0ca495ec296e1524f8c839ecc /scripts | |
parent | f051c28c0d5882ba94570ef1e525567bbed0254d (diff) | |
download | build-coordinator-26fe4a780463d56d594e71b09025a7176753d976.tar build-coordinator-26fe4a780463d56d594e71b09025a7176753d976.tar.gz |
Raise exceptions when port-poll times out
Otherwise port-poll will just be called again.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions