Added service selection depending on selected processor

Frontend/assets/scripts/tools/scripts.js

@@ -106,6 +106,10 @@ function performRequest(text, checkXML, checkTransform){
 async function restRequest(text) {
     const escapeChar = "specialEscapeChar";
     // const addr = "http://localhost:8081/" + text;
+    var port = ":8081/"
+    if (getProcessor == "libxml") {
+        var port = ":8085/"
+    }
     const addr = window.location.protocol + "//" + window.location.hostname + ":8081/" + text;
     
     var xmlData = document.getElementById("xmlArea").value.trim();
@@ -114,7 +118,7 @@ async function restRequest(text) {
     if(defaultStrings.includes(xmlData)){
         xmlData = "<empty/>";
     }
-
+    console.log(getProcessor());
     // var data = xmlData.concat(escapeChar, transformData);
 
     // const url = addr.concat("?escapechar=", escapeChar, "&processor=", getProcInfo());