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(`
`); 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(`