Warning: session_start(): open(/var/lib/php/sessions/sess_635hgm49f0nkm5so1h9fc06m7f, 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 PingSource { // returns true if it slept settable volatile IF0 action; // returns true if it slept final bool get() { var a = action; ret a != null && a!; } void cancel { action = new Cancelled; } sclass Cancelled is IF0 { public Bool get() { throw new ThreadCancelledException; } } }