From 07923814c0cecbe7faf43fbb23ce612cac7bb0be Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Mon, 27 Jan 2020 20:43:25 -0500
Subject: [PATCH] add support for grid local port override

---
 js/kiri.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/js/kiri.js b/js/kiri.js
index 9dc1dd74..fc4a0667 100644
--- a/js/kiri.js
+++ b/js/kiri.js
@@ -1170,8 +1170,9 @@ self.kiri.license = exports.LICENSE;
 
         function admin_gridlocal() {
             let dev = grid_local[$('grid-local').value];
-            if (dev && dev.stat.device.addr) {
-                window.open(`http://${dev.stat.device.addr[0]}:4080`, "_grid_admin");
+            if (dev && dev.stat && dev.stat.device) {
+                let dsd = dev.stat.device;
+                window.open(`http://${dsd.addr[0]}:${dsd.port || 4080}`, "_grid_admin");
             }
         }