in build/quickstarts-showcase/src/main/resources/META-INF/resources/app.js [5:32]
function refreshQuickstartsPanel() {
$.getJSON("/quickstart", function (quickstarts) {
$.each(quickstarts, (index, quickstart) => {
const quickstartPorts = $("#" + quickstart.id + "-ports");
quickstartPorts.children().remove();
$.each(quickstart.ports, (index, port) => {
var started = startedPorts.includes(port);
if (!started && !loadingPorts.includes(port)) {
loadingPorts.push(port);
}
quickstartPorts
.append($(`<div class="col mb-4"/>`).append($(`<div class="card m-0"/>`)
.append($(`<div class="card-header"/>`).text("Port " + port))
.append($(`<button type="button" class="btn ${started ? "btn-success" : "btn-secondary"} m-2" id="showPort${port}"/>`)
.append($(`<span class="fas fa-play"/>`))
.text(started ? "Show" : "Loading...")
.click(() => window.open("//localhost:" + port, '_blank')))
.append($(`<button type="button" class="btn btn-danger mb-2 ml-2 mr-2"/>`)
.append($(`<span class="fas fa-stop"/>`))
.text("Stop")
.click(() => stopQuickstart(quickstart.id, port)))));
});
});
if (autoPingIntervalId == null && loadingPorts.length > 0) {
autoPingIntervalId = setInterval(pingLoadingPorts, 1000);
}
});
}