Dart 1.4.2 and Web Proxy Configuration --- Can't "pub get"

[Benjamin Fisher]

Howdy.

Starting my investigation of Dart, but my employer utilizes firewall (buy HTTP/HTTPS is open) and web proxy (which is likely the problem).

I can't "pub get" from the Dart Editor menus on Windows 7 64-bit, Dart Editor 1.4.2.release (STABLE), Dart SDK 1.4.2.

--- 1:16:21 PM Auto running pub get on C:\Users\benjamin.fisher\dart\one-hour-codelab-master ... ---

Pub get failed, [1] Resolving dependencies... (42.1s)

Got socket error trying to find package browser at https://pub.dartlang.org.

** Warning: Application may fail to run since packages did not get installed.Try running pub get again. **

 I checked out https://www.dartlang.org/tools/editor/troubleshoot.html#pub-get-firewall, which suggests creating OS environment variables for "pub get" to work and DartEditor.ini settings for automatic updates to work.

For OS environment variables, I permanently created the following (browsers use Internet Options settings, which use the same stuff) environment variables:

http_proxy=http://<IP>:<PORT>/

https_proxy=https://<IP>:<PORT>/

no_proxy=localhost,127.0.0.0/8

Of course the <IP> and <PORT> are set correctly.

I then put this at the bottom of DartEditor.ini:

-Dhttp.proxyHost=<IP>

-Dhttp.proxyPort=<PORT>

-Dhttps.proxyHost=<IP>

-Dhttps.proxyPort=<PORT>

Not sure about updates but "pub get" still doesn't work.

If it matters, I installed new JRE directly into dart's install directory called "jre1.7.0_60" and refer to it via "C:\\Path\\to\\dart\\jre1.7.0_60\\bin\\javaw.exe", which seems to work fine.

Possibliities?  Need to do something with that JRE?  Or when the instructions on the Troubleshooting page say to add environment variables, they don't necessarily mean OS env vars, but something else I'm missing?

Any help getting up and testing would be most appreciated.

-B.

[Anders Johnsen]

Hi Benjamin,

Can you try out 

  no_proxy=localhost,127.0.0.1

instead. I'm not sure if /8 is working in all of our tools.

Also, check out https://code.google.com/p/dart/issues/detail?id=19205. We will update that issue as we investigate.

Cheers,

- Anders

--
For other discussions, see https://groups.google.com/a/dartlang.org/
 
For HOWTO questions, visit http://stackoverflow.com/tags/dart
 
To file a bug report or feature request, go to http://www.dartbug.com/new

To unsubscribe from this group and stop receiving emails from it, send an email to misc+uns...@dartlang.org.

[Benjamin Fisher]

That fixed it.