diff options
| -rw-r--r-- | urpm/media.pm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/urpm/media.pm b/urpm/media.pm index b972883a..ee5adf27 100644 --- a/urpm/media.pm +++ b/urpm/media.pm @@ -906,7 +906,7 @@ sub _register_media_cfg { if ($url) { my $filename = $media_path . "/url"; my @urls = split(/\n/, scalar cat_($filename)); - if (!grep { $url eq $_ } @urls) { + if (!member($url, @urls)) { append_to_file($filename, $url . "\n"); } } @@ -917,7 +917,7 @@ sub _register_media_cfg { } my $filename = $media_path . "/mirrorlist"; my @mirrorlists = split(/\n/, scalar cat_($filename)); - if (!grep { $mirrorlist eq $_ } @mirrorlists) { + if (!member($mirrorlist, @mirrorlists)) { append_to_file($filename, $mirrorlist . "\n"); } } |