From 668f14f74a592588aa45fb4ba34db333cb8659c6 Mon Sep 17 00:00:00 2001
From: laf <neil@lathwood.co.uk>
Date: Thu, 21 Jan 2016 12:32:20 +0000
Subject: [PATCH] Parameter to get_dev_attrib() is an array not a int, updated

---
 html/includes/table/edit-ports.inc.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/html/includes/table/edit-ports.inc.php b/html/includes/table/edit-ports.inc.php
index 625ac5e75d..535f347fc5 100644
--- a/html/includes/table/edit-ports.inc.php
+++ b/html/includes/table/edit-ports.inc.php
@@ -55,7 +55,8 @@ foreach (dbFetchRows($sql, $param) as $port) {
     $dowecare  = ($port['ignore'] == 0 && $port['disabled'] == 0) ? $isportbad : !$isportbad;
     $outofsync = $dowecare ? " class='red'" : '';
     $checked = '';
-    if (get_dev_attrib($device_id, 'ifName_tune:'.$port['ifName']) == "true") {
+    $device['device_id'] = $device_id;
+    if (get_dev_attrib($device, 'ifName_tune:'.$port['ifName']) == "true") {
         $checked = 'checked';
     }