summaryrefslogtreecommitdiffstats
path: root/urpm.pm
diff options
context:
space:
mode:
Diffstat (limited to 'urpm.pm')
-rw-r--r--urpm.pm6
1 files changed, 5 insertions, 1 deletions
diff --git a/urpm.pm b/urpm.pm
index 5510158c..65e1332c 100644
--- a/urpm.pm
+++ b/urpm.pm
@@ -781,6 +781,9 @@ sub remove_selected_media {
"$_->{name}.cache") {
$_ and unlink "$urpm->{statedir}/$_";
}
+
+ #- remove proxy settings for this media
+ urpm::download::remove_proxy_media($_->{name});
} else {
push @result, $_; #- not removed so keep it
}
@@ -1776,8 +1779,9 @@ this could happen if you mounted manually the directory when creating the medium
}
}
- #- this file is written in any cases.
+ #- write config files in any case
$urpm->write_config;
+ dump_proxy_config();
}
#- make sure names files are regenerated.