Hi,
would you please add a patch like this?
I did copy the HTTPS proxy entry and modified it into a HTTP entry in
the settings.xml.
But I forgot to change the id of the second proxy entry.
It took me a while to figure out why it isn't working...
Untested patch, but I hope you get the idea!
with kind regards
thomas
diff --git
a/maven-core/src/main/java/org/apache/maven/execution/DefaultMavenExecutionRequest.java
b/maven-core/src/main/java/org/apache/maven/execution/DefaultMavenExecutionRequest.java
---
a/maven-core/src/main/java/org/apache/maven/execution/DefaultMavenExecutionRequest.java
+++
b/maven-core/src/main/java/org/apache/maven/execution/DefaultMavenExecutionRequest.java
@@ -162,7 +162,10 @@
private boolean useLegacyLocalRepositoryManager = false;
private Map<String, Object> data;
-
+
+ @Inject
+ private Logger logger;
+
public DefaultMavenExecutionRequest()
{
}
@@ -788,7 +791,14 @@ public MavenExecutionRequest addProxy( Proxy proxy )
{
if ( p.getId() != null && p.getId().equals( proxy.getId() ) )
{
- return this;
+ if( !( p.getProtocol().equals( proxy.getProtocol() ) ) )
+ {
+ logger.warn( "Duplicate proxy id found! But protocol
differs!\n" +
+ "Please check your settings.xml file!" );
+ } else
+ {
+ return this;
+ }
}
}
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
