diff options
| author | Michael Elkins <melkins@tislabs.com> | 2011-01-22 00:43:47 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2011-01-22 00:43:47 +0000 |
| commit | 681aa5fc98d7d7dca3b9c6af88424406310187ce (patch) | |
| tree | 2e645cf075389d185343c6b00c57ebe6b07dfbd5 /portal-gui/scripts/adduser.py | |
| parent | 1b55e2887afa1270635f9c9a1836d539e11144fa (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/adduser.py')
| -rw-r--r--[-rwxr-xr-x] | portal-gui/scripts/adduser.py | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/portal-gui/scripts/adduser.py b/portal-gui/scripts/adduser.py index 27e73ed7..109e360f 100755..100644 --- a/portal-gui/scripts/adduser.py +++ b/portal-gui/scripts/adduser.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!@PYTHON@ # $Id$ # # Copyright (C) 2010 SPARTA, Inc. dba Cobham Analytic Solutions @@ -18,20 +18,26 @@ # # helper script to quickly set up a new portal-gui user/handle +import os, sys +sys.path.append('@INSTDIR@') +os.environ['DJANGO_SETTINGS_MODULE'] = 'rpkigui.settings' + from django.contrib.auth.models import User from django.conf import settings from rpkigui.myrpki.models import Conf +WEB_USER='@WEBUSER@' + import os import sys import hashlib import getpass import pwd -web_uid = pwd.getpwnam(settings.WEB_USER)[2] +web_uid = pwd.getpwnam(WEB_USER)[2] # FIXME: hardcoded for now -realm = 'myrpki' +realm = 'rpki' def user_has_password(passfile, username): 'returns True if username is found in the specified password file' |