aboutsummaryrefslogtreecommitdiff
path: root/portal-gui/scripts/list_resources.py
diff options
context:
space:
mode:
authorMichael Elkins <melkins@tislabs.com>2011-01-22 00:43:47 +0000
committerMichael Elkins <melkins@tislabs.com>2011-01-22 00:43:47 +0000
commit681aa5fc98d7d7dca3b9c6af88424406310187ce (patch)
tree2e645cf075389d185343c6b00c57ebe6b07dfbd5 /portal-gui/scripts/list_resources.py
parent1b55e2887afa1270635f9c9a1836d539e11144fa (diff)
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
Diffstat (limited to 'portal-gui/scripts/list_resources.py')
-rw-r--r--[-rwxr-xr-x]portal-gui/scripts/list_resources.py6
1 files changed, 5 insertions, 1 deletions
diff --git a/portal-gui/scripts/list_resources.py b/portal-gui/scripts/list_resources.py
index f7abf3d2..54845563 100755..100644
--- a/portal-gui/scripts/list_resources.py
+++ b/portal-gui/scripts/list_resources.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!@PYTHON@
# $Id$
#
# Copyright (C) 2010 SPARTA, Inc. dba Cobham Analytic Solutions
@@ -31,7 +31,11 @@
# later
import sys
+sys.path.append('@INSTDIR@')
+
import os
+os.environ['DJANGO_SETTINGS_MODULE'] = 'rpkigui.settings'
+
from datetime import datetime
import getopt
from os.path import basename