diff options
| author | Francois Pons <fpons@mandriva.com> | 2002-09-05 15:01:21 +0000 |
|---|---|---|
| committer | Francois Pons <fpons@mandriva.com> | 2002-09-05 15:01:21 +0000 |
| commit | e8476e9888b10dc4d2a6e2c7cbef605352f8f62c (patch) | |
| tree | bc6c0296ee19f2837e4b887afa95bbaa0a4055f6 /urpmi.addmedia | |
| parent | eb0e7578ddf22a08597d54c7cc5fe6336445a8db (diff) | |
| download | urpmi-e8476e9888b10dc4d2a6e2c7cbef605352f8f62c.tar urpmi-e8476e9888b10dc4d2a6e2c7cbef605352f8f62c.tar.gz urpmi-e8476e9888b10dc4d2a6e2c7cbef605352f8f62c.tar.bz2 urpmi-e8476e9888b10dc4d2a6e2c7cbef605352f8f62c.tar.xz urpmi-e8476e9888b10dc4d2a6e2c7cbef605352f8f62c.zip | |
4.0-13mdk
Diffstat (limited to 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index ed4682f5..ceb77ff2 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -65,7 +65,7 @@ and [options] are from urpm::sync_webfetch($options, @_) }, next; /^--curl/ and $urpm->{sync} = \&urpm::sync_webfetch, next; /^--proxy$/ and do { - my ($proxy, $port) = ($_ = shift @_) =~ m,^(http://[^:]+(:\d+)?)/*$, or + my ($proxy, $port) = ($_ = shift @_) =~ m,^(?:http://)?([^:]+(:\d+)?)/*$, or die _("bad proxy declaration on command line\n"); $proxy .= ":1080" unless $port; $urpm->{proxy}{http_proxy} = $proxy; |