Warning: session_start(): open(/var/lib/php/sessions/sess_1ajb05k0os5rh5oitig21qrm78, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static ItIt> returnCodesOfMultipleServers_parallel_iterator(int timeout, S... servers) {
ret returnCodesOfMultipleServers_parallel_iterator(timeout, asList(servers));
}
static ItIt> returnCodesOfMultipleServers_parallel_iterator(final int timeout, final Collection servers) {
final Var counter = new(0);
final L> results = synchroList();
// Fire up the threads (with timeouts)
for (fS server : servers)
thread "Server Check" {
long time = sysTime();
int result = returnCodeHttpHEADWithTimeout(timeout, server);
results.add(t3(server, result, sysNow()-time));
syncIncIntVar(counter);
}
// Make iterator delivering results as they come in
ret iteratorFromFunction(new F0>() {
int n = 0;
public T3 get() {
if (n >= l(servers)) null;
waitForVarToChange(counter, n);
ret results.get(n++);
}
});
}