R11/release11-tools
4
2
Fork 0
Code Issues 9 Pull Requests 4 Packages Projects Releases 6 Wiki Activity

dev #26

Merged
bema merged 42 commits from dev into master 2023-02-13 11:04:17 +01:00
Conversation 0 Commits 42 Files Changed 30 +1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit c0a54291ae - Show all commits

2
Frontend/assets/scripts/tools/scripts.js
View File

@@ -107,7 +107,7 @@ async function restRequest(text) {
const escapeChar = "specialEscapeChar"; const escapeChar = "specialEscapeChar";
// const addr = "http://localhost:8081/" + text; // const addr = "http://localhost:8081/" + text;
var port = ":8081/" var port = ":8081/"
if (getProcessor == "libxml") { if (getProcessor() == "libxml") {
var port = ":8085/" var port = ":8085/"
} }
const addr = window.location.protocol + "//" + window.location.hostname + ":8081/" + text; const addr = window.location.protocol + "//" + window.location.hostname + ":8081/" + text;