integrate portal-gui into toplevel configure script; remove $top/portal-gui/build.sh as a result

remove helper script, and use @PYTHON@ configure variable to substitute instead

rename django.wsgi => rpki.wsgi

rename zrpki.conf => rpki.conf for apache configuration


svn path=/configure; revision=3629

1 files changed, 30 insertions, 0 deletions

diff --git a/portal-gui/apache/rpki.wsgi.in b/portal-gui/apache/rpki.wsgi.in
new file mode 100644
index 00000000..c50fa6b7
--- /dev/null
+++ b/portal-gui/apache/rpki.wsgi.in
@@ -0,0 +1,30 @@
+# $Id$
+"""
+Copyright (C) 2010  SPARTA, Inc. dba Cobham Analytic Solutions
+
+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 SPARTA DISCLAIMS ALL WARRANTIES WITH
+REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
+AND FITNESS.  IN NO EVENT SHALL SPARTA 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.
+
+
+This is an example wsgi application for use with mod_wsgi and apache.
+
+"""
+
+import os
+import sys
+
+os.environ['DJANGO_SETTINGS_MODULE'] = 'rpkigui.settings'
+
+sys.path.append('@INSTDIR@')
+
+import django.core.handlers.wsgi
+application = django.core.handlers.wsgi.WSGIHandler()