aboutsummaryrefslogtreecommitdiff
path: root/rpkid/rpki/gui/manage.py
diff options
context:
space:
mode:
authorMichael Elkins <melkins@tislabs.com>2011-11-10 05:55:19 +0000
committerMichael Elkins <melkins@tislabs.com>2011-11-10 05:55:19 +0000
commit82cdb46860033738cff0ebc77ea6af75fd66fbb5 (patch)
tree9f865e7019ff5f325361fc7285b49ea822d51533 /rpkid/rpki/gui/manage.py
parentebe3f9b8e6c12a578a5c8a62d60f10fa1b3b411b (diff)
move settings.py for portal gui django app to ${sysconfdir}/rpki since it really is a configuration file
svn path=/branches/tk103/; revision=4078
Diffstat (limited to 'rpkid/rpki/gui/manage.py')
-rw-r--r--rpkid/rpki/gui/manage.py11
1 files changed, 0 insertions, 11 deletions
diff --git a/rpkid/rpki/gui/manage.py b/rpkid/rpki/gui/manage.py
deleted file mode 100644
index 5e78ea97..00000000
--- a/rpkid/rpki/gui/manage.py
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env python
-from django.core.management import execute_manager
-try:
- import settings # Assumed to be in the same directory.
-except ImportError:
- import sys
- sys.stderr.write("Error: Can't find the file 'settings.py' in the directory containing %r. It appears you've customized things.\nYou'll have to run django-admin.py, passing it your settings module.\n(If the file settings.py does indeed exist, it's causing an ImportError somehow.)\n" % __file__)
- sys.exit(1)
-
-if __name__ == "__main__":
- execute_manager(settings)