// can be false, it's compiled on the server anyway

// defaults to true

static new ThreadLocal<Bool> transpileForServer_compile;

static long transpileForServer_localTime;

sbool transpileForServer_forceJavacOnServer;

sbool transpileForServer_forceJavacWhenLibs;

svoid transpileForServer(S progID) {

  S server = tb_mainServer();

  S javax = loadSnippet(progID);

  print("Source: " + l(javax));

  long time = sysNow();

  time "Transpile" {

    transpileRaw_silent = false;

    S java;

    try {

      java = transpileRaw(javax);

    } on fail e {

      printLineContextAfterJavaCompilerError(e, loadProgramTextFile("error.java"));

    }

    print("Transpiled: " + l(java));

  }

  new L<S> libs;

  java = findTranslators2(java, libs);

  print("Libs: " + or2(joinWithComma(libs), "-"));

  S dehlibs = join(" ", libs);

  if (!isFalse(transpileForServer_compile!)) {

    File bytecode = javaCompile_overInternalBot(java, dehlibs);

    print("Bytecode: " + f2s(assertNotNull(bytecode)));

  }

  transpileForServer_localTime = sysNow()-time;

  // Compiled OK, let's upload

  S result = postPageWithCredentials(server + "/tb/upload-transpilation.php",

    id := psI(progID),

    transpilation := java,

    libs := lines(splitAtSpace(dehlibs)),

    computer := computerID());

  Matcher m = regexp("URL=/(dexcompile\\.php.*?)'", result);

  if (!m.find()) fail("Server said: " + result);

  S url = server + "/" + m.group(1);

  if (transpileForServer_forceJavacOnServer || transpileForServer_forceJavacWhenLibs && nempty(libs))

    url += "&javac=1";

  result = postPageWithCredentials(url);

  bool ok = result.contains("SUCCESS");

  sendToSnippetUpdatesBot("/transpile" + (ok ? "OK" : "Fail") 

    + "/" + psI(progID));

  if (!ok)

    fail("Server said: " + result);

  print("Transpiled & uploaded " + fsI(progID) + "!");

}