diff --git a/org.eclipse.wildwebdeveloper.xml/src/org/eclipse/wildwebdeveloper/xml/internal/XMLLanguageServer.java b/org.eclipse.wildwebdeveloper.xml/src/org/eclipse/wildwebdeveloper/xml/internal/XMLLanguageServer.java index f50f2714b7..9582b7cb3e 100644 --- a/org.eclipse.wildwebdeveloper.xml/src/org/eclipse/wildwebdeveloper/xml/internal/XMLLanguageServer.java +++ b/org.eclipse.wildwebdeveloper.xml/src/org/eclipse/wildwebdeveloper/xml/internal/XMLLanguageServer.java @@ -114,6 +114,12 @@ private Collection getProxySettings() { res.put(data.getType().toLowerCase() + ".proxyHost", data.getHost()); res.put(data.getType().toLowerCase() + ".proxyPort", Integer.toString(data.getPort())); } + if (data.getUserId() != null) { + res.put(data.getType().toLowerCase() + ".proxyUser", data.getUserId()); + } + if (data.getPassword() != null) { + res.put(data.getType().toLowerCase() + ".proxyPassword", data.getPassword()); + } } String nonProxiedHosts = String.join("|", service.getNonProxiedHosts()); if (!nonProxiedHosts.isEmpty()) {