blob: 28410f35f3cb13e019060e9116668a09a7f7ebeb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# $Id$
#
# This module contains the default settings for the RPKI portal gui.
#
# DO NOT EDIT! This file is automatically generated from settings.py.in
# path to the myrpki command line tool
from django.conf import settings
# directory containing the resource handles served by the rpki portal gui
CONFDIR = settings.MYRPKI if hasattr(settings, 'CONFDIR') else '%(AC_LOCALSTATEDIR)s/rpki/conf'
# maildir-style mailbox where uploaded requests are saved
INBOX = settings.MYRPKI if hasattr(settings, 'INBOX') else '%(AC_LOCALSTATEDIR)s/rpki/inbox'
# maildir-style mailbox where responses to client requests are stored
OUTBOX = settings.MYRPKI if hasattr(settings, 'OUTBOX') else '%(AC_LOCALSTATEDIR)s/rpki/outbox'
# uid the web server runs as
WEB_USER = settings.MYRPKI if hasattr(settings, 'WEB_USER') else '%(AC_WEBUSER)s'
RPKI_CONF_TEMPLATE = settings.RPKI_CONF_TEMPLATE = settings.RPKI_CONF_TEMPLATE if hasattr(settings, 'RPKI_CONF_TEMPLATE') else '%(AC_DATAROOTDIR)s/rpki/gui/rpki.conf.template'
|
