diff options
Diffstat (limited to 'runtime/js/40_permissions.js')
| -rw-r--r-- | runtime/js/40_permissions.js | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/runtime/js/40_permissions.js b/runtime/js/40_permissions.js index 019e65446..c84f8fde8 100644 --- a/runtime/js/40_permissions.js +++ b/runtime/js/40_permissions.js @@ -167,10 +167,6 @@ desc.path = pathFromURL(desc.path); } else if (desc.name === "run") { desc.command = pathFromURL(desc.command); - } else if (desc.name === "net") { - if (desc.host instanceof URL) { - desc.host = desc.host.host; - } } const state = opQuery(desc); @@ -190,10 +186,6 @@ desc.path = pathFromURL(desc.path); } else if (desc.name === "run") { desc.command = pathFromURL(desc.command); - } else if (desc.name === "net") { - if (desc.host instanceof URL) { - desc.host = desc.host.host; - } } const state = opRevoke(desc); @@ -213,10 +205,6 @@ desc.path = pathFromURL(desc.path); } else if (desc.name === "run") { desc.command = pathFromURL(desc.command); - } else if (desc.name === "net") { - if (desc.host instanceof URL) { - desc.host = desc.host.host; - } } const state = opRequest(desc); |