Warning: session_start(): open(/var/lib/php/sessions/sess_kq9sm421975imlp03jqj6smjnd, 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
srecord Seconds(double seconds) is Comparable { double seconds aka get aka getDouble() { ret seconds; } toString { ret formatDouble(seconds, 3) + " s"; } public int compareTo(Seconds s) { ret cmp(seconds, s.seconds); } Seconds div(double x) { ret Seconds(get()/x); } }