Fix the case when there is no "Portal" menu item

pascal-fb-martin · Jan 18, 2022 · 92fca34 · 92fca34
1 parent ee7175b
commit 92fca34
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/public/events.js b/public/events.js
@@ -26,12 +26,13 @@ function eventShow (response) {
       for (var i = 0; i < elements.length; i++) {
           elements[i].innerHTML = response.host;
       }
-      if (response.proxy) {
-          document.getElementById('portal').href =
-              'http://'+response.proxy+'/index.html';
-      } else {
-          document.getElementById('portal').href =
-              'http://'+response.host+'/index.html';
+      portalmenu = document.getElementById('portal');
+      if (portalmenu) {
+          if (response.proxy) {
+              portalmenu.href = 'http://'+response.proxy+'/index.html';
+          } else {
+              portalmenu.href = 'http://'+response.host+'/index.html';
+          }
       }
    }