dev #26

Merged
bema merged 42 commits from dev into master 2023-02-13 11:04:17 +01:00
Showing only changes of commit c537bed4a1 - Show all commits

View File

@@ -105,7 +105,6 @@ function performRequest(text, checkXML, checkTransform){
//Form REST request, send, receive and display in resultArea //Form REST request, send, receive and display in resultArea
async function restRequest(text) { async function restRequest(text) {
const escapeChar = "specialEscapeChar"; const escapeChar = "specialEscapeChar";
// const addr = "http://localhost:8081/" + text;
var port = ":8081/" var port = ":8081/"
if (getProcessor() == "libxml") { if (getProcessor() == "libxml") {
port = ":8082/" port = ":8082/"