From f59dcede93351149bb5ff99c9310f467efd0d660 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Tue, 17 Nov 2020 15:54:25 +0000
Subject: [PATCH] Ant build begonnen
---
web/ui/api.js | 12 ++++++++++++
1 files changed, 12 insertions(+), 0 deletions(-)
diff --git a/web/ui/api.js b/web/ui/api.js
index 40534fe..0011250 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 {
@@ -288,6 +290,16 @@
/* -------- Compile / Build ------------- */
+function fm_ant_build() {
+ var m = '?c=de.uhilger.filecms.api.CompileService&m=antBuild&p=' + pfad;
+ var u = '../svc' + m;
+ fm_get(u, "text", function(resp) {
+ $('.system-out').empty();
+ $('.system-out').append('Ergebnis von Ant build: ' + resp);
+ fm_fusszeile_zeigen();
+ });
+}
+
function fm_build_app() {
var m = '?c=de.uhilger.filecms.api.CompileService&m=buildApp&p=' + pfad;
var u = '../svc' + m;
--
Gitblit v1.9.3