summaryrefslogtreecommitdiffstats
path: root/urpm/download.pm
diff options
context:
space:
mode:
authorRafael Garcia-Suarez <rgarciasuarez@mandriva.org>2004-07-06 08:10:45 +0000
committerRafael Garcia-Suarez <rgarciasuarez@mandriva.org>2004-07-06 08:10:45 +0000
commit4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d (patch)
treee3579a90fb6eaaf40c0d20e015f267186db323af /urpm/download.pm
parentc82d4d18593f39ae00e6f220f47887d5266cd1d5 (diff)
downloadurpmi-4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d.tar
urpmi-4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d.tar.gz
urpmi-4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d.tar.bz2
urpmi-4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d.tar.xz
urpmi-4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d.zip
Delete proxy configuration for a media when deleting this media
Diffstat (limited to 'urpm/download.pm')
-rw-r--r--urpm/download.pm5
1 files changed, 5 insertions, 0 deletions
diff --git a/urpm/download.pm b/urpm/download.pm
index b0e7b01d..3df420fc 100644
--- a/urpm/download.pm
+++ b/urpm/download.pm
@@ -63,6 +63,11 @@ sub dump_proxy_config () {
return 1;
}
+#- deletes the proxy configuration for the specified media
+sub remove_proxy_media {
+ defined $proxy_config and delete $proxy_config->{$_[0] || ''};
+}
+
#- reads and loads the proxy.cfg file ;
#- returns the global proxy settings (without arguments) or the
#- proxy settings for the specified media (with a media name as argument)