<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_v9c1tcom26h5dsb2371koprg2f, 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 />
// f: voidfunc(int)
void onRadioButtonChange(final ButtonGroup group, fO f) {
  final Var<Int> idx = new Var(selectedButtonIdx(group));
  Runnable r = r {
    int idx2 = selectedButtonIdx(group);
    if (idx2 >= 0 && idx2 != idx.get()) {
      idx.set(idx2);
      pcallF(f, idx2);
    }
  };
  for (AbstractButton b : buttonsInGroup(group))
    onChange(b, r);
}