Initialiser wieder zurueckgestellt auf JNDI

ulrich

2020-06-25 17727f11c12bd7176af946bb440d509cb558ac22

 web/ui/api.js

@@ -256,6 +256,8 @@
        mode = 'xml';
      } else if(fname.endsWith('properties')) {
        mode = 'xml';
      } else if(fname.endsWith('adoc')) {
        mode = 'text/x-markdown';
      }
      fm_text_edit(resp, mode);
    } else {
@@ -358,12 +360,19 @@

function fm_compile(modeStr, callback) {
  var liste = fm_gewaehlte_dateien();
  var m = '?c=de.uhilger.filecms.api.CompileService&m=compile&p=' + pfad + '&p=' + encodeURIComponent(liste) + 
          '&p=' + modeStr;
  var m = '?c=de.uhilger.filecms.api.CompileService&m=compile';//&p=' + pfad + '&p=' + encodeURIComponent(liste) + 
          //'&p=' + modeStr;
  var u = '../svc' + m;
  var data = 'p=' + pfad + '&p=' + encodeURIComponent(liste) + 
          '&p=' + modeStr;
  fm_post(u, data, "json", function(resp) {
    callback(resp);
  });
  /*
  fm_get(u, "json", function(resp) {
    callback(resp);
  });
  */
}

/* --------------- Bilder ------------------------- */