diff options
| author | Christopher Baines <mail@cbaines.net> | 2024-01-19 10:39:45 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2024-01-19 10:41:51 +0000 |
| commit | dc04b747048638a753bd044646306fcdd33c241a (patch) | |
| tree | c1b3a65f0e3e05a527f81715a2af0d15c47035eb /scripts | |
| parent | a9fccb34184c91f5ef29ed0de69185e7191e9a9e (diff) | |
| download | build-coordinator-dc04b747048638a753bd044646306fcdd33c241a.tar build-coordinator-dc04b747048638a753bd044646306fcdd33c241a.tar.gz | |
Add inbuilt port monitoring
There seems to be some issue which can lead to the client and agent ports no
longer being listened on. I've got no idea how to track this down, so just try
and monitor for it and kill the process if it happens.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions