diff options
| author | Francois Pons <fpons@mandriva.com> | 2001-03-26 11:54:37 +0000 |
|---|---|---|
| committer | Francois Pons <fpons@mandriva.com> | 2001-03-26 11:54:37 +0000 |
| commit | f09adc5ead5dfa93ea5c46086c4a6540600302fb (patch) | |
| tree | dec5f5e343fa25c90383ab92738b75790499a344 /urpm.pm | |
| parent | c07b35a7df3d2ccbed6a380f032b05dae24e4f49 (diff) | |
| download | urpmi-f09adc5ead5dfa93ea5c46086c4a6540600302fb.tar urpmi-f09adc5ead5dfa93ea5c46086c4a6540600302fb.tar.gz urpmi-f09adc5ead5dfa93ea5c46086c4a6540600302fb.tar.bz2 urpmi-f09adc5ead5dfa93ea5c46086c4a6540600302fb.tar.xz urpmi-f09adc5ead5dfa93ea5c46086c4a6540600302fb.zip | |
*** empty log message ***
Diffstat (limited to 'urpm.pm')
| -rw-r--r-- | urpm.pm | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -447,7 +447,7 @@ sub update_media { #- try to sync (copy if needed) local copy after restored the previous one. unlink "$urpm->{cachedir}/partial/$basename"; - $options{force} or + $options{force} || ! -e "$urpm->{statedir}/$medium->{hdlist}" or system("cp", "-a", "$urpm->{statedir}/$medium->{hdlist}", "$urpm->{cachedir}/partial/$basename"); system("wget", "-NP", "$urpm->{cachedir}/partial", "$medium->{url}/$medium->{with_hdlist}"); $? == 0 or $error = 1, $urpm->{error}("wget of [<source_url>/$medium->{with_hdlist}] failed (maybe wget is missing?)"); |