You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
При работе за корпоративным прокси-сервером может потребоваться указание настроек прокси.
192
+
Предусмотрены следующие параметры:
193
+
194
+
|Параметр|Возможное значение|Пояснение
195
+
|-|-|-
196
+
proxy.use|true/false|Включение использования прокси. Если параметр не задан - прокси не используется
197
+
|proxy.server|адрес прокси-сервера|Если параметр задан, то будут использованы ручные настройки прокси: имя сервера, порт, логин, пароль. Если параметр не задан, но задан proxy.use=true - используется системный прокси.
198
+
|proxy.port|Порт прокси-сервера|используется только если задан proxy.server
199
+
|proxy.user|Имя пользователя прокси-сервера|используется только если задан proxy.server
200
+
|proxy.password|Пароль прокси-сервера|используется только если задан proxy.server
201
+
|proxy.osAuthentication|true/false|Авторизация на прокси средствами ОС. Используется только если задан proxy.server
0 commit comments