<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_0u2pe18l5uohq3tomgf133kd8v, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sclass Lowest_withRunnerUp<A> extends Lowest<A> {
  A runnerUp;
  double runnerUpScore;

  bool put(A a, double score) {
    bool change = false;
    synchronized(this) {
      if (a != null && isNewBest(score)) {
        runnerUp = best;
        runnerUpScore = this.score;
        best = a;
        this.score = score;
        set change;
      }
    }
    if (change)
      pcallF(onChange);
    ret change;
  }
  
  synchronized Pair<A, Double> runnerUpPair() { ret main.pair(runnerUp, runnerUpScore); }
}