web/webconfig.py
changeset 252 8cd0c2111783
parent 151 343e7a18675d
child 447 0e52d72104a6
--- 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]