From 9a61574f520569e457ab3f1641ba83c7bbeeddcc Mon Sep 17 00:00:00 2001 From: sophia Date: Wed, 30 Mar 2022 16:06:08 -0500 Subject: [PATCH] Add core plugin manager to default mapper list --- plugins/commands/serve/mappers.rb | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/commands/serve/mappers.rb b/plugins/commands/serve/mappers.rb index 0c63e3775..4d93d98d9 100644 --- a/plugins/commands/serve/mappers.rb +++ b/plugins/commands/serve/mappers.rb @@ -24,6 +24,7 @@ module VagrantPlugins Google::Protobuf::UInt64Value => Integer, Google::Protobuf::StringValue => String, SDK::Args::Array => Array, + SDK::Args::CorePluginManager => Client::CorePluginManager, SDK::Args::Direct => Type::Direct, SDK::Args::Folders => Type::Folders, SDK::Args::Guest => Client::Guest,