<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4v7hind2tdab7ivn6qtt5rvpk9, 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 />
sS srtFormatTime(double seconds) {
  int wholeSec = ifloor(seconds);
  S ms = formatInt(ifloor(frac(seconds)*1000), 3);
  S sec = formatInt(wholeSec % 60, 2);
  int wholeMin = wholeSec/60;
  S min = formatInt(wholeMin % 60, 2);
  int wholeHours = wholeMin/60;
  S hours = formatInt(wholeHours, 2);
  ret hours + ":" + min + ":" + sec + "," + ms;
}