--- 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]