<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_jpoln8ect7dbn9kkfitq0jc7f0, 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 />
!7

// Note: Deadlock solving happens in OS main too, so it will not be
// lost if GC is turned off here.

module GarbageCollection {
  bool on = true;
  
  start { doEvery(1.0, 10.0, r updateMe); }
  
  visualize {
    final JLabel lblTime = jCenteredLabel(" ");
    awtEvery(lblTime, 1000, r {
      long last = lastRegularGC();
      setText(lblTime, last == 0 ? "No GC yet"
        : "Time since last GC: " + iround(elapsedSeconds_timestamp(last)) + " s");
    });
    ret vstackWithSpacing(
      toolTip("On = Perform a Java garbage collection every minute", centerCheckBox(dm_fieldCheckBox("GC On", 'on))),
      lblTime);
  }
  
  void update {
    //print("GC: " + on);
    bool has = hasRegularGC();
    if (has != on) {
      infoBoxAndProgramLog((on ? "Enabling" : "Disabling") + " Garbage Collection");
      if (on) regularGC_firstDelay(1000); else noRegularGC();
    }
  }
}