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