<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_r2ik9intko0ddkorhum4n11sg2, 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

static MapSO _renameClasses = litmap("GazelleBEA" := "GazelleBEAForUsers");

mainPackage gazelle
mainClassName main

module GazelleBEAForUsers > GazelleBEA {
  transient O eleu;
  switchable int fontSizeFactor = 5;
  
  start {
    eleu = dm_require("#1031417/Eleu3");
    thread {
      dm_require("#1031421/HolePuncher");
    }
  }
  
  void init :: after {
    set !alwaysRedirectToHttps;
  }

  visual dm_visualizeWithEnabled(jtabs(
    "Main" := jCenterIn3x3Grid(openButton()),
    "Log" := makePrintLogPanel()
  ));
  
  // API

  JButton openButton() {
    ret fontSize(30, jbutton("Open local Gazelle",
      r { openInPlatformBrowser(myURL()) }));
  }

  S myURL() { ret "http://localhost:" + dm_get httpPort(eleu); }
}

!include early #1031418 // Gazelle BEA