<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_quu501igskpciqhkappv8kvon0, 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 />
sbool filesHaveSameContents(File a, File b) {
  long n = fileSize(a);
  if (fileSize(b) != n) false;
  
  temp InputStream is1 = newBufferedInputStream(a);
  temp InputStream is2 = newBufferedInputStream(b);
  
  int data;
  while ping ((data = is1.read()) != -1)
    if (data != is2.read()) false;

  true;
}