diff options
| author | Luca Casonato <lucacasonato@yahoo.com> | 2019-12-07 21:09:09 +0100 |
|---|---|---|
| committer | Ry Dahl <ry@tinyclouds.org> | 2019-12-08 04:09:09 +0800 |
| commit | 7144bbed34ee3d867c76a88398e6d73843385b34 (patch) | |
| tree | 78c73ae93fb44f2554235a8b7dd934c969050342 /cli/ops/plugins.rs | |
| parent | e02029c602cbef4c2c63d53a9d6bdab3ab2130fe (diff) | |
fix: plugin ops should change op count metrics (#3455)
Diffstat (limited to 'cli/ops/plugins.rs')
| -rw-r--r-- | cli/ops/plugins.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cli/ops/plugins.rs b/cli/ops/plugins.rs index 2673e3d6a..258cd2764 100644 --- a/cli/ops/plugins.rs +++ b/cli/ops/plugins.rs @@ -86,7 +86,8 @@ pub fn op_open_plugin( // The inclusion of prefix and rid is designed to avoid any // op name collision beyond the bound of a single loaded // plugin instance. - let op_id = registry.register(&format!("plugin_{}_{}", rid, op.0), op.1); + let op_id = registry + .register(&format!("plugin_{}_{}", rid, op.0), state.core_op(op.1)); plugin_resource.ops.insert(op.0, op_id); } |