diff options
Diffstat (limited to 'grpmi')
| -rw-r--r-- | grpmi/curl_download/curl_download.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grpmi/curl_download/curl_download.pm b/grpmi/curl_download/curl_download.pm index 36d49017..034df5f6 100644 --- a/grpmi/curl_download/curl_download.pm +++ b/grpmi/curl_download/curl_download.pm @@ -17,6 +17,7 @@ sub writeproxy { set_proxy_config(user => $user, $o_media_name); set_proxy_config(pwd => $pwd, $o_media_name); set_proxy_config(http_proxy => $proxy, $o_media_name); + set_proxy_config(ftp_proxy => $proxy, $o_media_name); dump_proxy_config(); } |