Changeset 31881 for main/trunk

Show
Ignore:
Timestamp:
14.08.2017 22:37:37 (2 years ago)
Author:
ak19
Message:

Text copied from the web into comments turned into strange characters on Windows (for single and double quotes), which were then unrecognised on and caused GLI compilation to fail on Windows.

Files:
1 modified

Legend:

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

    r31880 r31881  
    738738    // This does https_proxy = http_proxy, and explicitly prefixes "https://" to http_proxy. 
    739739    // https://www.howtogeek.com/293213/how-to-configure-a-proxy-server-in-firefox/ 
    740     /* You’ll usually want to click the “Use the proxy server for all protocols” option. Firefox will also use your HTTP proxy server for SSL-encrypted HTTPS connections and File Transfer Protocol (FTP) connections. 
    741 Uncheck this box if you want to enter separate proxy servers for HTTP, HTTPS, and FTP connections. This isn’t common. 
    742 If you’re configuring a SOCKS proxy, leave the HTTP Proxy, SSL Proxy, and FTP Proxy boxes empty. Enter the address of the SOCKS proxy into the “SOCKS Host” and its port into the “Port” box. 
     740    /* You'll usually want to click the "Use the proxy server for all protocols" option. Firefox will also use your HTTP proxy server for SSL-encrypted HTTPS connections and File Transfer Protocol (FTP) connections. 
     741Uncheck this box if you want to enter separate proxy servers for HTTP, HTTPS, and FTP connections. This isn't common. 
     742If you're configuring a SOCKS proxy, leave the HTTP Proxy, SSL Proxy, and FTP Proxy boxes empty. Enter the address of the SOCKS proxy into the "SOCKS Host" and its port into the "Port" box. 
    743743    */     
    744744    private boolean checkProxy(){