1 files changed, 0 insertions, 48 deletions
diff --git a/rpkid/portal-gui/default_settings.py b/rpkid/portal-gui/default_settings.py
deleted file mode 100644
index 3d3e3f51..00000000
--- a/rpkid/portal-gui/default_settings.py
+++ /dev/null
@@ -1,48 +0,0 @@
-"""
-This module contains static configuration settings for the web portal.
-"""
-
-__version__ = '$Id$'
-
-import os
-from rpki import autoconf
-
-# where to put static files
-STATIC_ROOT = autoconf.datarootdir + '/rpki/media'
-
-# must end with a slash!
-STATIC_URL = '/media/'
-
-# where to email server errors
-ADMINS = (('Administrator', 'root@localhost'),)
-
-LOGGING = {
-    'version': 1,
-    'formatters': {
-        'verbose': {
-            # see http://docs.python.org/2.7/library/logging.html#logging.LogRecord
-            'format': '%(levelname)s %(asctime)s %(name)s %(message)s'
-        },
-    },
-    'handlers': {
-        'stderr': {
-            'class': 'logging.StreamHandler',
-            'level': 'DEBUG',
-            'formatter': 'verbose',
-        },
-        'mail_admins': {
-            'level': 'ERROR',
-            'class': 'django.utils.log.AdminEmailHandler',
-        },
-    },
-    'loggers': {
-        'django': {
-            'level': 'ERROR',
-            'handlers': ['stderr', 'mail_admins'],
-        },
-        'rpki.gui': {
-            'level': 'WARNING',
-            'handlers': ['stderr'],
-        },
-    },
-}