web/webconfig.py
branchstable
changeset 5005 b04ec1b6f7da
parent 4909 a13c1d1ecc5b
child 5283 9ad0eaa09d34
equal deleted inserted replaced
5002:0ce27e435b3a 5005:b04ec1b6f7da
   301     def _init_base_url(self):
   301     def _init_base_url(self):
   302         # normalize base url(s)
   302         # normalize base url(s)
   303         baseurl = self['base-url'] or self.default_base_url()
   303         baseurl = self['base-url'] or self.default_base_url()
   304         if baseurl and baseurl[-1] != '/':
   304         if baseurl and baseurl[-1] != '/':
   305             baseurl += '/'
   305             baseurl += '/'
   306         self.global_set_option('base-url', baseurl)
   306         if not self.repairing:
       
   307             self.global_set_option('base-url', baseurl)
   307         httpsurl = self['https-url']
   308         httpsurl = self['https-url']
   308         if httpsurl and httpsurl[-1] != '/':
   309         if httpsurl and httpsurl[-1] != '/':
   309             httpsurl += '/'
   310             httpsurl += '/'
   310             self.global_set_option('https-url', httpsurl)
   311             if not self.repairing:
       
   312                 self.global_set_option('https-url', httpsurl)
   311 
   313 
   312     def _build_ext_resources(self):
   314     def _build_ext_resources(self):
   313         libresourcesfile = join(self.shared_dir(), 'data', 'external_resources')
   315         libresourcesfile = join(self.shared_dir(), 'data', 'external_resources')
   314         self.ext_resources.update(read_config(libresourcesfile))
   316         self.ext_resources.update(read_config(libresourcesfile))
   315         for path in reversed([self.apphome] + self.cubes_path()):
   317         for path in reversed([self.apphome] + self.cubes_path()):