Changeset 31883
- Timestamp:
- 2017-08-15T19:05:47+12:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r31882 r31883 1527 1527 //} 1528 1528 } 1529 else { 1530 System.setProperty(protocol+".proxyHost", ""); 1531 System.setProperty(protocol+".proxyPort", ""); 1532 //if(protocol.equals("http")) { 1533 //System.setProperty(protocol+".proxySet", "false"); 1534 //} 1535 } 1529 1536 1530 1537 }
Note:
See TracChangeset
for help on using the changeset viewer.