mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
SVN: IDEA wide proxy host/port - take from settings
This commit is contained in:
@@ -103,8 +103,9 @@ public class SvnAuthenticationManager extends DefaultSVNAuthenticationManager {
|
||||
if ((proxyHost == null) || "".equals(proxyHost.trim())) {
|
||||
if (SvnConfiguration.getInstanceChecked(myProject).isIsUseDefaultProxy()) {
|
||||
// ! use common proxy if it is set
|
||||
final String ideaWideProxyHost = System.getProperty("http.proxyHost");
|
||||
String ideaWideProxyPort = System.getProperty("http.proxyPort");
|
||||
final HttpConfigurable httpConfigurable = HttpConfigurable.getInstance();
|
||||
final String ideaWideProxyHost = httpConfigurable.PROXY_HOST;
|
||||
String ideaWideProxyPort = String.valueOf(httpConfigurable.PROXY_PORT);
|
||||
|
||||
if (ideaWideProxyPort == null) {
|
||||
ideaWideProxyPort = "3128";
|
||||
|
||||
Reference in New Issue
Block a user