diff options
author | Bartek IwaĆczuk <biwanczuk@gmail.com> | 2022-09-27 22:36:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-27 22:36:33 +0200 |
commit | 212b7dd6da487c070229b6348ec7907b4fecbcf9 (patch) | |
tree | 3eb743f90e8b293182a830722eb4ff26bec72039 /runtime/js/40_process.js | |
parent | a344368603063bcb281e743f3810ca1e4e46e85d (diff) |
feat: Add requesting API name to permission prompt (#15936)
Co-authored-by: Leo Kettmeir <crowlkats@toaxl.com>
Diffstat (limited to 'runtime/js/40_process.js')
-rw-r--r-- | runtime/js/40_process.js | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/runtime/js/40_process.js b/runtime/js/40_process.js index e3f6fc7a0..76ce57fe3 100644 --- a/runtime/js/40_process.js +++ b/runtime/js/40_process.js @@ -16,8 +16,12 @@ String, } = window.__bootstrap.primordials; - function opKill(pid, signo) { - ops.op_kill(pid, signo); + function opKill(pid, signo, apiName) { + ops.op_kill(pid, signo, apiName); + } + + function kill(pid, signo) { + opKill(pid, signo, "Deno.kill()"); } function opRunStatus(rid) { @@ -91,7 +95,7 @@ } kill(signo) { - opKill(this.pid, signo); + opKill(this.pid, signo, "Deno.Process.kill()"); } } @@ -126,6 +130,6 @@ window.__bootstrap.process = { run, Process, - kill: opKill, + kill, }; })(this); |