function updateHTML() {
const main = document.getElementById('maincontent')
let html = '';
for (const srv of servers) {
html += `${encodeURIComponent(srv['process'])} @ ${encodeURIComponent(srv['port'])}`
}
main.innerHTML = html;
}
document.addEventListener("DOMContentLoaded", updateHTML);