<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_sphi02tre4jt6nscndam5ago8e, 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 File publicKeyFileForComputer(S computerID) {
  if (eq(computerID, computerID())) {
    PKI.makeStandardKeyPairIfNecessary();
    ret PKI.getStandardPublicKeyPath();
  }
  
  ret javaxDataDir("Other People's Public Keys/" + assertComputerID(computerID) + ".txt");
}