Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Standard Widget Toolkit (SWT) » Browser Widget and Proxy Settings
Browser Widget and Proxy Settings [message #467645] Thu, 02 February 2006 20:51 Go to next message
Eclipse UserFriend
Originally posted by: jbell80.msn.com

This may be a silly question but...

Is it possible to get the proxy settings through the Browser widget?
(i.e Creating a widget to detect the settings then destroying the widget)

If not does anyone know of another way to get the proxy info? So far I
have tried...
System.getProperty("http.proxyHost") //It isn't set

Also is there anyway to use a configuration script (.pac file)?
I was downloading the pac file and executing it using Rhino
(http://www.mozilla.org/rhino/) but there are commands that are not pure
JavaScript so that didn't work out. (shExpMatch -- Shell Command)

If anyone has any great ideas other than having the user input the
information I would like to hear your ideas.

Thanks,
Jon

Report message to a moderator

Re: Browser Widget and Proxy Settings [message #467720 is a reply to message #467645] Sat, 04 February 2006 15:28 Go to previous message
Bernhard Fastenrath is currently offline Bernhard FastenrathFriend
Messages: 10
Registered: July 2009
Junior Member
Jon Bell wrote:
> This may be a silly question but...
>
> Is it possible to get the proxy settings through the Browser widget?
> (i.e Creating a widget to detect the settings then destroying the widget)

No, this is currently (3.1.1) not possible.

Have a look at http://bugs.eclipse.org/bugs/show_bug.cgi?id=82295.

The JavaScript code example doesn't work from Browser.execute (),
it would need to be executed with appropriate access permission.

The attached source code may solve the problem, I didn't check that.

Report message to a moderator

Previous Topic:Multi-line header on a table
Next Topic:Multiple Column Filtering in a TableCursor
Goto Forum:
  

[ Syndicate this forum (XML) ] [ RSS ]

Current Time: Fri Apr 26 00:05:43 GMT 2024

Powered by FUDForum. Page generated in 0.02956 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top

Sign up to our Newsletter

A fresh new issue delivered monthly