<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_qqopcfuj19lhj4c7jts85ps4lf, 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 />
!7

p {
  // Easy case - finishes in time
  
  print("Test 1");
  Either<O, Thread> e = evalWithTimeout(1500, f f);
  assertEquals(0, l(evalWithTimeout_inTime));
  while (l(evalWithTimeout_allThreads) > 0) sleep(1);
  assertEqualsVerbose("yo!", e.a());
  
  // Medium case - is in sleep or wait, interruptible
  
  print("Test 2");
  e = evalWithTimeout(500, f f);
  assertEquals(0, l(evalWithTimeout_inTime));
  assertTrue(e.isB());
  assertTrue(l(evalWithTimeout_allThreads) <= 1);
  
  while (l(evalWithTimeout_allThreads) > 0) sleep(1);
  
  // Hard case - busy computing, doesn't call ping
  
  print("Test 3");
  e = evalWithTimeout(500, f g);
  assertEquals(0, l(evalWithTimeout_inTime));
  sleep(10);
  assertEquals(1, l(evalWithTimeout_allThreads));
  assertTrue(e.isB());
  
  while (l(evalWithTimeout_allThreads) > 0) sleep(1);
  
  print("All OK");
}

static S f() {
  sleep(1000);
  ret print("yo!");
}

static S g() {
  busySleepSeconds_noPing(1);
  ret print("yo!");
}