From 7144bbed34ee3d867c76a88398e6d73843385b34 Mon Sep 17 00:00:00 2001 From: Luca Casonato Date: Sat, 7 Dec 2019 21:09:09 +0100 Subject: fix: plugin ops should change op count metrics (#3455) --- cli/ops/plugins.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'cli') 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); } -- cgit v1.2.3