GUI -- DeviceResource: minor improvement.
Change-Id: I591aa4cca09fb51e2e92df8c479d80d2d3aed94e
diff --git a/web/gui/src/main/java/org/onosproject/gui/DeviceGuiResource.java b/web/gui/src/main/java/org/onosproject/gui/DeviceGuiResource.java
index 428cf15..144a13c 100644
--- a/web/gui/src/main/java/org/onosproject/gui/DeviceGuiResource.java
+++ b/web/gui/src/main/java/org/onosproject/gui/DeviceGuiResource.java
@@ -69,11 +69,12 @@
*/
private ObjectNode deviceJson(DeviceService service, Device device) {
boolean available = service.isAvailable(device.id());
+ // pick the appropriate id for the icon to appear in the table row
String iconId = available ? ICON_ID_ONLINE : ICON_ID_OFFLINE;
ObjectNode result = mapper.createObjectNode();
result.put("id", device.id().toString())
- .put("available", service.isAvailable(device.id()))
+ .put("available", available)
.put("_iconid_available", iconId)
.put("type", device.type().toString())
.put("role", service.getRole(device.id()).toString())