From 8a930228c659315235c9bc73b5ddd7086cc2c363 Mon Sep 17 00:00:00 2001 From: Arthur Lu Date: Thu, 1 Jun 2023 17:21:35 +0000 Subject: [PATCH] display device_names in pcie devices config Signed-off-by: Arthur Lu --- scripts/config.js | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/scripts/config.js b/scripts/config.js index 9a78216..916abeb 100644 --- a/scripts/config.js +++ b/scripts/config.js @@ -523,13 +523,14 @@ function populateDevices() { } }); let ordered_keys = getOrdered(devices); - ordered_keys.forEach((element) => { - addDeviceLine("devices", prefix, element, devices[element]); + ordered_keys.forEach(async (element) => { + let deviceData = await requestAPI(`/nodes/pci?node=${node}&type=${type}&vmid=${vmid}&hostpci=${element}`, "GET"); + addDeviceLine("devices", prefix, element, devices[element], deviceData); }); } } -function addDeviceLine(fieldset, prefix, deviceID, deviceDetails) { +function addDeviceLine(fieldset, prefix, deviceID, deviceDetails, deviceData) { let field = document.querySelector(`#${fieldset}`); let icon = document.createElement("img"); @@ -540,7 +541,8 @@ function addDeviceLine(fieldset, prefix, deviceID, deviceDetails) { field.appendChild(icon); let deviceLabel = document.createElement("p"); - deviceLabel.innerText = deviceDetails; + let deviceNames = Array.from(deviceData, element => element.device_name); + deviceLabel.innerText = deviceNames.toString(); deviceLabel.dataset.device = deviceID; deviceLabel.dataset.values = deviceDetails; field.append(deviceLabel);