diff options
Diffstat (limited to 'portal-gui/rpkigui/urls.py')
| -rw-r--r-- | portal-gui/rpkigui/urls.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/portal-gui/rpkigui/urls.py b/portal-gui/rpkigui/urls.py index dddb6a0a..09d71e00 100644 --- a/portal-gui/rpkigui/urls.py +++ b/portal-gui/rpkigui/urls.py @@ -1,3 +1,5 @@ +# $Id$ + from django.conf.urls.defaults import * from django.contrib import admin @@ -14,15 +16,13 @@ urlpatterns = patterns('', # Uncomment the next line to enable the admin: (r'^admin/', include(admin.site.urls)), - #(r'^dashboard/', include('myrpki.dashboardurls')), (r'^myrpki/', include('rpkigui.myrpki.urls')), (r'^accounts/login/$', 'django.contrib.auth.views.login'), - (r'^accounts/logout/$', 'django.contrib.auth.views.logout'), + (r'^accounts/logout/$', 'django.contrib.auth.views.logout', + { 'next_page': '/myrpki/' }), #XXX (r'^site_media/(?P<path>.*)$', 'django.views.static.serve', - #{'document_root': '/Users/fenner/src/portal-gui/media/'}), - {'document_root': '/home/melkins/src/rpki/portal-gui/media/'}), - + {'document_root': '/home/melkins/src/rpki/portal-gui/media/'}) ) |