<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_rqp150idg9g3ip5uc66p19lfrl, 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 />
scope stefansOS_loadingAnimation.

sS #text = "Stefan's OS is loading...";

static JFrame stefansOS_loadingAnimation(final Runnable onStop) {
  print("[loading animation]");
  final JLabel label = jcenteredlabel(text);
  final JButton stopButton = jbutton(upper("Press space to stop"), r {
    disableButton();
    //setText(heldInstance(JButton), "Stopping...");
    setText(label, "STOPPING");
    callF(onStop);
  });
  JPanel panel = jBackground(Color.black, centerAndSouth(centerAndSouth(
    withMargin(50, jimage(#1101279)),
    withMargin(20, 40, 0, 40, setForeground(Color.white, setFont(#1011145, 60, label)))),
    withMargin(20, jcenteredline(stopButton))));
  ret onWindowClosingOnly(showCenterPackedFrame(text, panel), rClickButton(stopButton));
}

end scope