blob: 0ee436b7e0d210a4dda2796617b8d7d064f635e2 (
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
MYRPKI = settings.MYRPKI if hasattr(settings, 'MYRPKI') else '%(AC_MYRPKI)s'
# 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'
|
