Changeset 31881

Timestamp:

2017-08-14T22:37:37+12:00 (7 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.

File:

• main/trunk/gli/src/org/greenstone/gatherer/gui/DownloadPane.java (modified) (1 diff)

main/trunk/gli/src/org/greenstone/gatherer/gui/DownloadPane.java

@@ -738 +738 @@
     // This does https_proxy = http_proxy, and explicitly prefixes "https://" to http_proxy.
     // https://www.howtogeek.com/293213/how-to-configure-a-proxy-server-in-firefox/
-    /* 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.
-Uncheck this box if you want to enter separate proxy servers for HTTP, HTTPS, and FTP connections. This isn’t common.
-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.
+    /* 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.
+Uncheck this box if you want to enter separate proxy servers for HTTP, HTTPS, and FTP connections. This isn't common.
+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.
     */    
     private boolean checkProxy(){