# HG changeset patch
# User ymh <ymh.work@gmail.com>
# Date 1497299603 -7200
# Node ID bb12d638cb9fa34a8e379b8343a30de64e910260
# Parent  0454014a4bb68ab3157253754088377cc2f8c302
improve documentation on proxy

diff -r 0454014a4bb6 -r bb12d638cb9f server/src/.env.example
--- a/server/src/.env.example	Mon Jun 12 14:59:37 2017 +0200
+++ b/server/src/.env.example	Mon Jun 12 22:33:23 2017 +0200
@@ -61,9 +61,11 @@
 
 # Configuration proxy
 # protocole http
+# format [<scheme>://][<username>:<password>@]<IP>:<port>
 HTTP_PROXY=
 # protocole https
-HTTPS_PROXY
+# format [<scheme>://][<username>:<password>@]<IP>:<port>
+HTTPS_PROXY=
 # liste de serveur (séparée par des ",") pour laquelle la configuration de proxy doit être ignoré
 NO_PROXY=