diff options
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) } |