diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-02-05 13:19:38 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-02-05 13:19:38 +0100 |
| commit | 9cab3c32bb04b8c87ec73f21566f3d25f5d986d9 (patch) | |
| tree | 66414153cdc03b0f3ed3976fc6caf570ee6985f4 /aptsources/distinfo.py | |
| parent | 4029d0fdcaa25ad7544c749f635d2d10093aad89 (diff) | |
| download | python-apt-9cab3c32bb04b8c87ec73f21566f3d25f5d986d9.tar.gz | |
* aptsources/distinfo.py:
- do not crash if the mirror file can not be read
Diffstat (limited to 'aptsources/distinfo.py')
| -rw-r--r-- | aptsources/distinfo.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aptsources/distinfo.py b/aptsources/distinfo.py index d7289b4b..f3c68cae 100644 --- a/aptsources/distinfo.py +++ b/aptsources/distinfo.py @@ -193,8 +193,8 @@ class DistInfo: mirror_data = filter(match_mirror_line.match, map(string.strip, open(value))) except: - print "ERROR: Failed to read mirror file" - mirrors = [] + print "WARNING: Failed to read mirror file" + mirror_data = [] for line in mirror_data: if line.startswith("#LOC:"): location = match_loc.sub(r"\1", line) |