Allow multiple directories as plugin source by extending the plugin.dir property to support multiple locations, comma separated

Author: gertjanal

core/trino-main/src/main/java/io/trino/server/ServerPluginsProviderConfig.java

@@ -13,15 +13,17 @@
  */
 package io.trino.server;
 
+import com.google.common.collect.ImmutableList;
 import io.airlift.configuration.Config;
 import io.airlift.configuration.ConfigDescription;
+import io.airlift.configuration.validation.FileExists;
 
 import java.io.File;
 import java.util.List;
 
 public class ServerPluginsProviderConfig
 {
-    private List<File> installedPluginsDirs = List.of(new File("plugin"));
+    private List<File> installedPluginsDirs = ImmutableList.of(new File("plugin"));
 
     public List<File> getInstalledPluginsDirs()
     {
@@ -30,9 +32,9 @@ public List<File> getInstalledPluginsDirs()
 
     @Config("plugin.dir")
     @ConfigDescription("Comma separated list of root directories where the plugins are located")
-    public ServerPluginsProviderConfig setInstalledPluginsDirs(List<File> installedPluginsDirs)
+    public ServerPluginsProviderConfig setInstalledPluginsDirs(List<@FileExists File> installedPluginsDirs)
     {
-        this.installedPluginsDirs = installedPluginsDirs;
+        this.installedPluginsDirs = ImmutableList.copyOf(installedPluginsDirs);
         return this;
     }
 }