Changeset 31883

Show
Ignore:
Timestamp:
15.08.2017 19:05:47 (3 months ago)
Author:
ak19
Message:

Previous commit was incomplete.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/gli/src/org/greenstone/gatherer/Gatherer.java

    r31882 r31883  
    15271527        //} 
    15281528        } 
     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        } 
    15291536 
    15301537    }