diff options
Diffstat (limited to 'rpkid/portal-gui/settings.py.in')
| -rw-r--r-- | rpkid/portal-gui/settings.py.in | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/rpkid/portal-gui/settings.py.in b/rpkid/portal-gui/settings.py.in index 46f6ca60..19bad89b 100644 --- a/rpkid/portal-gui/settings.py.in +++ b/rpkid/portal-gui/settings.py.in @@ -1,6 +1,6 @@ # # Sample Django settings.py for running the RPKI portal gui. This -# template was written for Django 1.2. +# template was written for Django 1.3. # # DO NOT EDIT! This file is automatically generated from # settings.py.in @@ -86,8 +86,8 @@ INSTALLED_APPS = ( #'django.contrib.admin', #'django.contrib.admindocs', 'django.contrib.contenttypes', - 'django.contrib.formtools', 'django.contrib.sessions', + 'django.contrib.staticfiles', 'rpki.irdb', 'rpki.gui.app', 'rpki.gui.cacheview', @@ -101,5 +101,12 @@ TEMPLATE_CONTEXT_PROCESSORS = ( "django.core.context_processors.i18n", "django.core.context_processors.media", "django.contrib.messages.context_processors.messages", - "django.core.context_processors.request" + "django.core.context_processors.request", + "django.core.context_processors.static" ) + +# where to put static files +STATIC_ROOT = '%(AC_DATAROOTDIR)s/rpki/media' + +# must end with a slash! +STATIC_URL = '/media/' |