From 94ea73a5953eb57bf59281bd19b4e4f1dcd96175 Mon Sep 17 00:00:00 2001
From: einhirn <marg@rz.tu-clausthal.de>
Date: Thu, 18 Jun 2015 18:29:55 +0200
Subject: [PATCH] another minor correction about $port being undefined in some
 cases

---
 html/includes/print-map.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/includes/print-map.inc.php b/html/includes/print-map.inc.php
index 65b9e9068..ad1bf8a55 100644
--- a/html/includes/print-map.inc.php
+++ b/html/includes/print-map.inc.php
@@ -52,8 +52,8 @@ $nodes = json_encode($tmp_devices);
 if (is_array($tmp_devices[0])) {
     $tmp_links = array();
     foreach (dbFetchRows("SELECT local_device_id, remote_device_id, `remote_hostname`,`ports`.*, `remote_port` FROM `links` LEFT JOIN `ports` ON `local_port_id`=`ports`.`port_id` LEFT JOIN `devices` ON `ports`.`device_id`=`devices`.`device_id` WHERE (`local_device_id` IN ($tmp_ids) AND `remote_device_id` IN ($tmp_ids))") as $link_devices) {
+	$port='';
         foreach ($tmp_devices as $k=>$v) {
-	    $port='';
             if ($v['id'] == $link_devices['local_device_id']) {
                 $from = $v['id'];
                 $port = shorten_interface_type($link_devices['ifName']);