1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
package ij.plugin;
import ij.*;
import ij.gui.*;
import ij.util.Tools;
import java.util.*;
/** This plugin implements the Plugins/Utilities/Proxy Settings command. It sets
* the JVM proxy properties to allow the Help/Update ImageJ command
* and File/Open Samples menu to work on networks behind a proxy server.
*
* @author Dimiter Prodanov
*/
public class ProxySettings implements PlugIn {
private Properties props = System.getProperties();
private String proxyhost = Prefs.get("proxy.server", "");
private int proxyport = (int)Prefs.get("proxy.port", 8080);
public void run(String arg) {
if (IJ.getApplet()!=null) return;
String host = System.getProperty("http.proxyHost");
if (host!=null) proxyhost = host;
String port = System.getProperty("http.proxyPort");
if (port!=null) {
double portNumber = Tools.parseDouble(port);
if (!Double.isNaN(portNumber))
proxyport = (int)portNumber;
}
if (!showDialog()) return;
if (!proxyhost.equals(""))
props.put("proxySet", "true");
else
props.put("proxySet", "false");
props.put("http.proxyHost", proxyhost);
props.put("http.proxyPort", ""+proxyport);
Prefs.set("proxy.server", proxyhost);
Prefs.set("proxy.port", proxyport);
try {
System.setProperty("java.net.useSystemProxies", Prefs.useSystemProxies?"true":"false");
} catch(Exception e) {}
if (IJ.debugMode)
logProperties();
}
public void logProperties() {
IJ.log("proxy set: "+ System.getProperty("proxySet"));
IJ.log("proxy host: "+ System.getProperty("http.proxyHost"));
IJ.log("proxy port: "+System.getProperty("http.proxyPort"));
IJ.log("java.net.useSystemProxies: "+System.getProperty("java.net.useSystemProxies"));
}
boolean showDialog() {
GenericDialog gd=new GenericDialog("Proxy Settings");
gd.addStringField("Proxy server:", proxyhost, 15);
gd.addNumericField("Port:", proxyport , 0);
gd.addCheckbox("Or, use system proxy settings", Prefs.useSystemProxies);
gd.addHelp(IJ.URL+"/docs/menus/edit.html#proxy");
gd.showDialog();
if (gd.wasCanceled())
return false;
proxyhost = gd.getNextString();
proxyport = (int)gd.getNextNumber();
Prefs.useSystemProxies = gd.getNextBoolean();
return true;
}
}
|
