прокси в fsi.exe (интерактивный fsharp) - PullRequest
0 голосов
/ 06 марта 2012

Я пытаюсь использовать демо Build.После добавления в конфигурационные файлы devenv.exe и fsi.exe у меня больше нет загрузки pb для загрузки dll.

Хотя я мог бы изменить примеры Twitter, чтобы использовать прокси моей компании, провайдер типа freebase не выглядитчтобы разрешить такое переопределение.

В то время как моя среда VS обращается к сети без pb, FSI.exe, похоже, не может пройти через мой указанный прокси.Как я могу заставить его использовать по умолчанию прокси, который я указал?Почему devenv.exe не требует каких-либо особых настроек?

PS: Следующая конфигурация в том же каталоге, что и fsi.exe, не работала:

<?xml version="1.0" encoding="utf-8"?>
<configuration>
  <runtime>
     <defaultProxy useDefaultCredentials="true" enabled="true">
         <proxy usesystemdefault = "false" proxyaddress = "ipaddress:portnumber" bypassonlocal = "true"/>
      </defaultProxy>

     <loadFromRemoteSources enabled="true" />
     <legacyUnhandledExceptionPolicy enabled="true" />
  </runtime>
</configuration>

1 Ответ

0 голосов
/ 06 марта 2012

Ok. Прокси по умолчанию был в неправильном разделе конфигурации. должно быть в вместо времени выполнения. Также должно быть http: // перед ipaddress

<?xml version="1.0" encoding="utf-8"?>
<configuration>
   **<system.net>**
      <defaultProxy useDefaultCredentials="true" enabled="true">
         <proxy usesystemdefault = "false" proxyaddress = "**http://**ipadress:portnumber" bypassonlocal = "true"/>
      </defaultProxy>
   **</system.net>**


   <runtime>     
     <loadFromRemoteSources enabled="true" />
     <legacyUnhandledExceptionPolicy enabled="true" />
  </runtime>
</configuration>
...