diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-07-06 08:10:45 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-07-06 08:10:45 +0000 |
| commit | 4ecaec5c7f692c2d6dec22505d4cbd6f0820e27d (patch) | |
| tree | e3579a90fb6eaaf40c0d20e015f267186db323af /urpm | |
| parent | c82d4d18593f39ae00e6f220f47887d5266cd1d5 (diff) | |
| download | urpmi-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')
| -rw-r--r-- | urpm/download.pm | 5 |
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) |