brute force kill/recreate worker for cancellation

2018-03-08 10:42:26 -05:00 · 2018-03-08 10:42:26 -05:00 · c85bad54ca
commit c85bad54ca
parent 26bf2baf5e
4 changed files with 36 additions and 82 deletions
--- a/js/kiri.js
+++ b/js/kiri.js
@ -2551,7 +2551,7 @@ self.kiri.license = exports.LICENSE;
                    // hide all dialogs
                    hideDialog();
                    // cancel slicing
-                    KIRI.work.cancel();
+                    KIRI.work.restart();
                    break;
            }
            return false;