<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ts521iq3sfs43asmlj898vmdpd, 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 />
!747

m {
  static new Map<S, Long> lastSeen; // computer ID to timestamp
  
  p {
    readLocally("lastSeen");
    makeAndroid3("Who Is Online Bot.");
  }
  
  static synchronized S answer(S s) {
    new Matches m;
    if (match3("I am online. -*", s, m)) {
      S computerID = m.unq(0);
      lastSeen.put(computerID, now());
      saveLocally("lastSeen");
      print("Got ping from " + computerID + ".");
      ret "OK, noted.";
    }
    
    if (match3("When was * last online?", s, m)) {
      Long time = lastSeen.get(m.unq(0));
      ret time != null ? format3("at *", time) : "never";
    }
    
    ret standardQuery(s, "lastSeen");
  }
}