From 4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d Mon Sep 17 00:00:00 2001
From: Rafael Garcia-Suarez <rgarciasuarez@mandriva.org>
Date: Tue, 6 Jul 2004 08:10:45 +0000
Subject: Delete proxy configuration for a media when deleting this media

---
 urpm/download.pm | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'urpm')

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)
-- 
cgit v1.2.1