# HG changeset patch # User Sylvain Thénault # Date 1278576270 -7200 # Node ID 6ccaaf04cfbcc520c0e4a06253e4ca6064a66510 # Parent 3d707b8f8a4d62f77fbfb7e9b0b06a7511274924 [web configuration] http/https ui properties should not share the same cache directory diff -r 3d707b8f8a4d -r 6ccaaf04cfbc web/webconfig.py --- a/web/webconfig.py Thu Jul 08 10:03:03 2010 +0200 +++ b/web/webconfig.py Thu Jul 08 10:04:30 2010 +0200 @@ -342,8 +342,10 @@ datadir_url=self.datadir_url[:-1]) self._init_uiprops(self.uiprops) if self['https-url']: + cachedir = join(self.appdatahome, 'uicachehttps') + self.check_writeable_uid_directory(cachedir) self.https_uiprops = PropertySheet( - join(self.appdatahome, 'uicache'), + cachedir, data=lambda x: self.https_datadir_url + x, datadir_url=self.https_datadir_url[:-1]) self._init_uiprops(self.https_uiprops)