diff --git a/common.sh b/common.sh
index b7c56500ec6ed7d7ccec26221db5ea9995227db2..cc4262e67b084f6493c10e99a39c1e2c5e3c298b 100644
--- a/common.sh
+++ b/common.sh
@@ -43,6 +43,16 @@ function getProxyConf()
     test -n "${pport}" && pport="--pport=${pport}"
     test -n "${puid}" && puid="--puid=${puid}"
     test -n "${ppasswd}" && ppasswd="--ppasswd=${ppasswd}"
+
+    # If there is any proxy information, add a message to log
+    if test -n "${phost}${pport}${puid}${ppasswd}"; then
+        printf "Proxy configuration being used.\n" >> ${log}
+        # If there is a valued system proxy variable, print a warning to log
+        if test -n "${http_proxy}"; then
+            printf "WARNING: The proxy file is " >> ${log}
+            printf "empty but http_proxy isn't.\n" >> ${log}
+        fi
+    fi
 }
 
 function tryWget(){