Lines Matching full:proxyport
22 + int proxyPort;
32 + proxyPort = viewer.readIntParameter("Use Proxy Port", -1);
33 + if(proxyPort>-1) {
64 + if(proxyPort>-1) {
65 + proxyPortEdit.setText(Integer.toString(proxyPort));
80 + proxyPort = Integer.parseInt(proxyPortEdit.getText());
81 + System.err.println("proxy is " + proxyHost + ":" + proxyPort);
94 + if(viewer.options.proxyPort>-1)
95 + sock = new Socket(viewer.options.proxyHost, viewer.options.proxyPort);
101 + if(viewer.options.proxyPort>-1)
