diff options
author | Nayeem Rahman <nayeemrmn99@gmail.com> | 2020-08-18 21:29:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-18 16:29:32 -0400 |
commit | 015fa0bd41ce51afbee4a1413cb90534155c041f (patch) | |
tree | 3220c821156a011225392d2361fdf7272c7be952 /cli/state.rs | |
parent | f6e9150b33168ab8c5e48238860e2c3f3bf625f3 (diff) |
refactor: permissions (#7074)
Diffstat (limited to 'cli/state.rs')
-rw-r--r-- | cli/state.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cli/state.rs b/cli/state.rs index f485bd61f..5754e8c9d 100644 --- a/cli/state.rs +++ b/cli/state.rs @@ -561,6 +561,11 @@ impl State { } #[inline] + pub fn check_hrtime(&self) -> Result<(), OpError> { + self.borrow().permissions.check_hrtime() + } + + #[inline] pub fn check_plugin(&self, filename: &Path) -> Result<(), OpError> { self.borrow().permissions.check_plugin(filename) } |