diff options
| author | Sebastian Heinlein <sebi@sebi-laptop> | 2006-12-11 06:19:31 +0100 |
|---|---|---|
| committer | Sebastian Heinlein <sebi@sebi-laptop> | 2006-12-11 06:19:31 +0100 |
| commit | cde9d2eafcee3d2769cb9cfecd6e6c1ad3ad153e (patch) | |
| tree | 3ae9247adb072de86d68b569f6947ddac61aaa8d | |
| parent | b40e4a4c48588fbfcbd6475d941c5c7f9e9fd530 (diff) | |
| download | python-apt-cde9d2eafcee3d2769cb9cfecd6e6c1ad3ad153e.tar.gz | |
* also set the default server to the changed server
| -rw-r--r-- | AptSources/aptsources.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/AptSources/aptsources.py b/AptSources/aptsources.py index b4ab8dc9..748f6aaf 100644 --- a/AptSources/aptsources.py +++ b/AptSources/aptsources.py @@ -648,6 +648,7 @@ class Distribution: a given host ''' sources = [] seen = [] + self.default_server = uri sources.extend(self.main_sources) sources.extend(self.child_sources) sources.extend(self.source_code_sources) |