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';
+ }
  }
  }