# HG changeset patch # User Sylvain Thenault # Date 1229952644 -3600 # Node ID 8cd0c21117836b83d5300206c2001d5850f1544e # Parent de7e74ff03f88212a75533cea675edc398fc66d5 search external_resources in application home diff -r de7e74ff03f8 -r 8cd0c2111783 web/webconfig.py --- a/web/webconfig.py Mon Dec 22 12:53:37 2008 +0100 +++ b/web/webconfig.py Mon Dec 22 14:30:44 2008 +0100 @@ -314,6 +314,10 @@ if exists(resourcesfile): self.debug('loading %s', resourcesfile) self.ext_resources.update(read_config(resourcesfile)) + resourcesfile = join(self.apphome, 'external_resources') + if exists(resourcesfile): + self.debug('loading %s', resourcesfile) + self.ext_resources.update(read_config(resourcesfile)) for resource in ('STYLESHEETS', 'STYLESHEETS_PRINT', 'IE_STYLESHEETS', 'JAVASCRIPTS'): val = self.ext_resources[resource]