Warning: session_start(): open(/var/lib/php/sessions/sess_3bng5nt6kmf7pfjlbm7lh5f5cu, 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 Best { A best; double score; transient O onChange; bool isNewBest(double score) { ret best == null || score > this.score; } double bestScore() { ret best == null ? Double.NaN : score; } double score() { ret bestScore(); } bool put(A a, double score) { if (a != null && isNewBest(score)) { best = a; this.score = score; pcallF(onChange); ret true; } ret false; } A get() { ret best; } bool has() { ret best != null; } Pair pair() { ret pair(best, bestScore()); } }