<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_m85ibnhcv6qkod98dnfedi5hrq, 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 />
scope robot_safetyKeyReleaser.

static int #interval = 30000;
static Map<Int, Long> #keysPressed = syncMap();

static ReliableSingleThread #rst = rstWithDelay(interval+500, r doIt);

static ReliableSingleThread robot_safetyKeyReleaser() {
  ret rst;
}

svoid #doIt {
  for (int key, long since : cloneMap(keysPressed)) {
    if (elapsedMS(since) >= interval) {
      print("WARNING: Robot safety release of key " + key);
      robot_keyRelease(key);
    }
  }
}

end scope