| Age | Commit message (Collapse) | Author |
|---|
|
$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
|
|
into line with the other Python code
portal-gui needs a bit more work to bring its autoconf into line with
the other code, which may include some source tree reorganizations.
svn path=/portal-gui/Makefile.in; revision=3621
|
|
name
svn path=/portal-gui/Makefile.in; revision=3566
|
|
remove runserver script from installation target since it is deprecated
svn path=/portal-gui/Makefile.in; revision=3560
|
|
update README to detail use of the build.sh for installation instead of using
the configure script directly.
added USER= configuration variable to specify the user that the apache web server is running as.
make install target sets file permissions so that apache user can read/write them
adduser.py sets file permissions so that apacher user can read/write them
svn path=/portal-gui/Makefile.in; revision=3548
|
|
new adduser script for creating portal-gui users (to be used with rpkidemo)
add stub apache conf file for integration with mod_wsgi
svn path=/portal-gui/Makefile.in; revision=3504
|
|
automatically set the proper paths in django.wsgi
use $INSTDIR for referring to installed portal-gui sources
svn path=/portal-gui/Makefile.in; revision=3365
|
|
svn path=/portal-gui/Makefile.in; revision=3357
|
