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, 37 insertions, 0 deletions

diff --git a/buildtools/make-django-script.py b/buildtools/make-django-script.py
new file mode 100644
index 00000000..67dd8ed3
--- /dev/null
+++ b/buildtools/make-django-script.py
@@ -0,0 +1,37 @@
+"""
+Convert a Python script into an executable Python script.  Mostly this
+means constructing a header based on a few parameters supplied by
+autoconf.
+
+$Id$
+
+Copyright (C) 2011  Internet Systems Consortium ("ISC")
+
+Permission to use, copy, modify, and distribute this software for any
+purpose with or without fee is hereby granted, provided that the above
+copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
+REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
+AND FITNESS.  IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
+INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
+LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
+OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
+PERFORMANCE OF THIS SOFTWARE.
+"""
+
+import os, sys
+
+sys.stdout.write('''\
+#!%(AC_PYTHON_INTERPRETER)s
+# Automatically constructed script header
+
+import sys, os
+sys.path.append('%(AC_PYTHONPATH)s')
+os.environ['DJANGO_SETTINGS_MODULE'] = 'settings'
+
+# Original script starts here
+
+''' % os.environ)
+
+sys.stdout.write(sys.stdin.read())