move settings.py for portal gui django app to ${sysconfdir}/rpki since it really is a configuration file

svn path=/branches/tk103/; revision=4078

1 files changed, 11 insertions, 0 deletions

diff --git a/rpkid/portal-gui/manage.py b/rpkid/portal-gui/manage.py
new file mode 100644
index 00000000..5e78ea97
--- /dev/null
+++ b/rpkid/portal-gui/manage.py
@@ -0,0 +1,11 @@
+#!/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)