From cd2f431da02b9568b76b56b0c467170e28c22064 Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart@neuron.com>
Date: Fri, 3 Jul 2020 14:46:09 -0400
Subject: [PATCH] add api function cancel. fix local device port when
 overridden

---
 src/kiri/main.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/kiri/main.js b/src/kiri/main.js
index b339f834..0d9060e4 100644
--- a/src/kiri/main.js
+++ b/src/kiri/main.js
@@ -206,6 +206,7 @@
             slice: prepareSlices,
             print: preparePrint,
             export: function() { KIRI.export() },
+            cancel: cancelWorker,
             clear: clearWidgetCache
         },
         hide: {
@@ -733,6 +734,10 @@
         });
     }
 
+    function cancelWorker() {
+        if (KIRI.work.isSlicing()) KIRI.work.restart();
+    }
+
     function clearWidgetCache() {
         hideSlices();
         clearSlices();
@@ -1885,7 +1890,7 @@
                 html.push(`<tbody>`);
                 for (let k in j) {
                     let r = j[k].stat;
-                    bind.push({uuid: r.device.uuid, host: r.device.addr[0], post: r.device.port});
+                    bind.push({uuid: r.device.uuid, host: r.device.addr[0], port: r.device.port});
                     html.push(`<tr>`);
                     html.push(`<td>${r.device.name}</td>`);
                     html.push(`<td>${r.device.mode}</td>`);