// doesn't compile locally, just uploads and compiles on server
srecord noeq TranspileForServer(S progID) {
  S server = tb_mainServer();
  
  S javax;
  PairS uploadResults;
  
  run {
    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 LS libs;
    java = findTranslators2(java, libs);
    print("Libs: " + or2(joinWithComma(libs), "-"));

    uploadResults = uploadTranspilation(progID, java, libs);

    Matcher m = regexp("URL=/(dexcompile\\.php.*?)'", result);
    if (!m.find()) fail("Server said: " + result);
    
    S url = server + "/" + m.group(1);

    result = postPageWithCredentials(url);
    
    bool ok = result.contains("<title>" + "SUCCESS"); // XXX - not very good
    sendToSnippetUpdatesBot("/transpile" + (ok ? "OK" : "Fail") 
      + "/" + psI(progID));
        
    if (!ok)
      fail("Server said: " + result);
      
    print("Transpiled & uploaded " + fsI(progID) + "!");
  }
}