diff -r 0ce27e435b3a -r b04ec1b6f7da web/webconfig.py
--- a/web/webconfig.py	Wed Mar 24 15:18:48 2010 +0100
+++ b/web/webconfig.py	Wed Mar 24 18:38:19 2010 +0100
@@ -303,11 +303,13 @@
         baseurl = self['base-url'] or self.default_base_url()
         if baseurl and baseurl[-1] != '/':
             baseurl += '/'
-        self.global_set_option('base-url', baseurl)
+        if not self.repairing:
+            self.global_set_option('base-url', baseurl)
         httpsurl = self['https-url']
         if httpsurl and httpsurl[-1] != '/':
             httpsurl += '/'
-            self.global_set_option('https-url', httpsurl)
+            if not self.repairing:
+                self.global_set_option('https-url', httpsurl)
 
     def _build_ext_resources(self):
         libresourcesfile = join(self.shared_dir(), 'data', 'external_resources')