mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-19 13:06:06 +00:00
Issue #788 Already enabled info
This commit is contained in:
parent
73edfefa47
commit
70705a5ac1
@ -118,7 +118,15 @@ public class BaseBuilder
|
||||
if (!startArgs.getStartModules().isEmpty())
|
||||
{
|
||||
for (String name:startArgs.getStartModules())
|
||||
{
|
||||
newly_added.addAll(modules.enable(name,"--add-to-start"));
|
||||
if (!newly_added.contains(name))
|
||||
{
|
||||
Set<String> sources = modules.get(name).getEnableSources();
|
||||
sources.remove("--add-to-start");
|
||||
StartLog.info("%s already enabled by %s",name,sources);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
if (StartLog.isDebugEnabled())
|
||||
|
Loading…
x
Reference in New Issue
Block a user