diff options
| -rw-r--r-- | rpkid/portal-gui/settings.py.in | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/rpkid/portal-gui/settings.py.in b/rpkid/portal-gui/settings.py.in index 186f3f1d..30cc19a8 100644 --- a/rpkid/portal-gui/settings.py.in +++ b/rpkid/portal-gui/settings.py.in @@ -1,4 +1,3 @@ -# $Id$ # # Sample Django settings.py for running the RPKI portal gui. This # template was written for Django 1.2. @@ -6,6 +5,9 @@ # DO NOT EDIT! This file is automatically generated from # settings.py.in + +__version__ = '$Id$' + import rpki.config DEBUG = True @@ -19,10 +21,10 @@ rpki.config.default_dirname = '%(AC_SYSCONFDIR)s' rpki_config = rpki.config.parser(section='web_portal') DATABASES = { - 'default' : { - 'ENGINE' : 'django.db.backends.mysql', - 'NAME' : rpki_config.get('sql-database'), - 'USER' : rpki_config.get('sql-username'), + 'default': { + 'ENGINE': 'django.db.backends.mysql', + 'NAME': rpki_config.get('sql-database'), + 'USER': rpki_config.get('sql-username'), 'PASSWORD': rpki_config.get('sql-password'), # Ensure the default storage engine is InnoDB since we need @@ -30,7 +32,7 @@ DATABASES = { # removing this after the syncdb is performed as an optimization, # but there isn't an easy way to do this automatically. - 'OPTIONS' : { + 'OPTIONS': { 'init_command': 'SET storage_engine=INNODB' } } @@ -41,7 +43,7 @@ DATABASES = { # although not all choices may be available on all operating systems. # If running in a Windows environment this must be set to the same as your # system time zone. -TIME_ZONE = 'GMT' +TIME_ZONE = 'UTC' # Make this unique, and don't share it with anybody. SECRET_KEY = '%(AC_SECRET_KEY)s' |