aboutsummaryrefslogtreecommitdiff
path: root/rpkid/portal-gui/scripts/rpkigui-sync-users.py
AgeCommit message (Collapse)Author
2013-03-26convert the two remaining scripts using ↵Michael Elkins
$top/buildtools/make-django-script.py to using rpki.gui.script_util.setup() instead so we can get rid of the build script svn path=/trunk/; revision=5233
2013-03-13check for settings.py in the standard locations if $DJANGO_SETTINGS_MODULE ↵Michael Elkins
is unset svn path=/trunk/; revision=5142
2013-03-13add new helper script for the rpki workshop to create web user accounts for ↵Michael Elkins
each labuser* resource holder svn path=/trunk/; revision=5141