Warning: session_start(): open(/var/lib/php/sessions/sess_cpauonhtactjl5019n53qlsh6l, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sclass Timed extends Var { double ms; settable S description; *() {} *(A value, long *ms) { super(value); } *(A value, double *ms) { super(value); } toString { ret "[" + renderedTime() + "] " + joinNemptiesWithComma(description, super.toString()); } double ms() { ret ms; } double nanos() { ret msToNanos(ms); } S renderedTime aka renderTime() { ret renderElapsedSecondsPleasantly(msToSeconds(ms)); } }