From cde9d2eafcee3d2769cb9cfecd6e6c1ad3ad153e Mon Sep 17 00:00:00 2001
From: Sebastian Heinlein <sebi@sebi-laptop>
Date: Mon, 11 Dec 2006 06:19:31 +0100
Subject: * also set the default server to the changed server

---
 AptSources/aptsources.py | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit v1.2.3