| 1335 | } |
| 1336 | } |
| 1337 | when(wait(delay(timeoutSeconds))) { |
| 1338 | if (isAvailable != nullptr) { |
| 1339 | *isAvailable = false; |
| 1340 | } |
| 1341 | messages->push_back( |
| 1342 | JsonString::makeMessage(format("%s_probe_timeout", prefix).c_str(), |
| 1343 | format("Unable to %s after %d seconds.", description, timeoutSeconds).c_str())); |
| 1344 | } |
| 1345 | } |
| 1346 | |
| 1347 | return Void(); |