!7

static MapSO _renameClasses = litmap("GazelleBEA" := "GazelleBEAForUsers");

mainPackage gazelle
mainClassName main

module GazelleBEAForUsers > GazelleBEA {
  transient O eleu;
  
  start {
    eleu = dm_require("#1031417/Eleu3");
    thread {
      dm_require("#1031421/HolePuncher");
    }
  }
  
  void init :: after {
    set !alwaysRedirectToHttps;
  }

  afterVisualize {
    addControl(jbutton("Open",
      r { openInPlatformBrowser(myURL());
      }));
  }

  // API

  S myURL() { ret "http://localhost:" + getInt httpPort(eleu); }
}

!include early #1031418 // Gazelle BEA