From 17727f11c12bd7176af946bb440d509cb558ac22 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Thu, 25 Jun 2020 07:48:23 +0000
Subject: [PATCH] Initialiser wieder zurueckgestellt auf JNDI
---
web/ui/api.js | 13 +++++++++++--
1 files changed, 11 insertions(+), 2 deletions(-)
diff --git a/web/ui/api.js b/web/ui/api.js
index b9e0a46..aba6cfd 100644
--- a/web/ui/api.js
+++ b/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 ------------------------- */
--
Gitblit v1.9.3