From 55a28564b9cafff893fd3d7a56657aba0051ceb0 Mon Sep 17 00:00:00 2001 From: Richard van der Hoff Date: Thu, 11 Aug 2016 16:16:53 +0100 Subject: [PATCH] Add device_id to devices display (it turns out to be quite useful) --- src/components/views/settings/DevicesPanel.js | 3 ++- src/components/views/settings/DevicesPanelEntry.js | 3 +++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/components/views/settings/DevicesPanel.js b/src/components/views/settings/DevicesPanel.js index 8dd6bb9230..2914b0789d 100644 --- a/src/components/views/settings/DevicesPanel.js +++ b/src/components/views/settings/DevicesPanel.js @@ -52,7 +52,7 @@ export default class DevicesPanel extends React.Component { (error) => { if (this._unmounted) { return; } var errtxt; - if (err.httpStatus == 404) { + if (error.httpStatus == 404) { // 404 probably means the HS doesn't yet support the API. errtxt = "Your home server does not support device management."; } else { @@ -127,6 +127,7 @@ export default class DevicesPanel extends React.Component { return (
+
ID
Name
Last seen
diff --git a/src/components/views/settings/DevicesPanelEntry.js b/src/components/views/settings/DevicesPanelEntry.js index b660f196c8..cc416ace2f 100644 --- a/src/components/views/settings/DevicesPanelEntry.js +++ b/src/components/views/settings/DevicesPanelEntry.js @@ -109,6 +109,9 @@ export default class DevicesPanelEntry extends React.Component { return (
+
+ {device.device_id} +