From abd2c6363f2b08523ff95c1f4786eb66cd2fa618 Mon Sep 17 00:00:00 2001
From: Richard Mayhew <richard@splash.co.za>
Date: Mon, 6 Aug 2018 16:37:36 +0200
Subject: [PATCH] Fixed the display of hostnames within the edit device
 permissions if a SysName is used instead (#8986)

---
 html/pages/edituser.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/pages/edituser.inc.php b/html/pages/edituser.inc.php
index bbccba44c7..6cfe8b3d9d 100644
--- a/html/pages/edituser.inc.php
+++ b/html/pages/edituser.inc.php
@@ -68,7 +68,7 @@ if (!Auth::user()->isAdmin()) {
 
         $device_perms = dbFetchRows('SELECT * from devices_perms as P, devices as D WHERE `user_id` = ? AND D.device_id = P.device_id', array($vars['user_id']));
         foreach ($device_perms as $device_perm) {
-            echo '<tr><td><strong>'.$device_perm['hostname']."</td><td> <a href='edituser/action=deldevperm/user_id=".$vars['user_id'].'/device_id='.$device_perm['device_id']."'><i class='fa fa-trash fa-lg icon-theme' aria-hidden='true'></i></a></strong></td></tr>";
+            echo '<tr><td><strong>'.format_hostname($device_perm)."</td><td> <a href='edituser/action=deldevperm/user_id=".$vars['user_id'].'/device_id='.$device_perm['device_id']."'><i class='fa fa-trash fa-lg icon-theme' aria-hidden='true'></i></a></strong></td></tr>";
             $access_list[] = $device_perm['device_id'];
             $permdone      = 'yes';
         }