Warning: session_start(): open(/var/lib/php/sessions/sess_ute2nd75g2f7bnjb5jcd2970h6, 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); } Seconds minus(Seconds x) { ret Seconds(get()-x!); } }