From 0bd102e823afa166f3c4d972f4d09cf0f40a931e Mon Sep 17 00:00:00 2001
From: Stefan Breunig <stefan@mathphys.fsk.uni-heidelberg.de>
Date: Sun, 10 Feb 2013 21:13:17 +0100
Subject: [PATCH] avoid rendering portal details for hidden portals. They do
 not get updated and thus outdated info might be shown.

---
 code/map_data.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/code/map_data.js b/code/map_data.js
index c911c35e..61c4b81d 100644
--- a/code/map_data.js
+++ b/code/map_data.js
@@ -251,6 +251,11 @@ window.renderPortal = function(ent) {
         removeByGuid(portalResonatorGuid(portalGuid,i));
     }
     delete window.portals[portalGuid];
+    if(window.selectedPortal === portalGuid) {
+      window.unselectOldPortal();
+      window.map.removeLayer(window.portalAccessIndicator);
+      window.portalAccessIndicator = null;
+    }
   });
   p.on('add',      function() {
     window.portals[this.options.guid] = this;