!7

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

mainPackage gazelle
mainClassName main

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

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

  // API

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

!include early #1031418 // Gazelle BEA