diff options
Diffstat (limited to 'cli/ops/permissions.rs')
| -rw-r--r-- | cli/ops/permissions.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cli/ops/permissions.rs b/cli/ops/permissions.rs index bd8340bf0..f513f2fab 100644 --- a/cli/ops/permissions.rs +++ b/cli/ops/permissions.rs @@ -55,6 +55,7 @@ pub fn op_revoke_permission( "write" => permissions.allow_write.revoke(), "net" => permissions.allow_net.revoke(), "env" => permissions.allow_env.revoke(), + "plugin" => permissions.allow_plugin.revoke(), "hrtime" => permissions.allow_hrtime.revoke(), _ => {} }; @@ -83,6 +84,7 @@ pub fn op_request_permission( } "net" => permissions.request_net(&args.url.as_ref().map(String::as_str)), "env" => Ok(permissions.request_env()), + "plugin" => Ok(permissions.request_plugin()), "hrtime" => Ok(permissions.request_hrtime()), n => Err(type_error(format!("No such permission name: {}", n))), }?; |