From bdaa22c68cf99239703ee83eee86cdf665719a6d Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 5 Sep 2013 07:47:57 -0600 Subject: [PATCH] account management buttons --- pkgs/plt-services/meta/pkg-index/official/main.rkt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-index/official/main.rkt b/pkgs/plt-services/meta/pkg-index/official/main.rkt index 716350eff2..3f1b558562 100644 --- a/pkgs/plt-services/meta/pkg-index/official/main.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/main.rkt @@ -293,9 +293,11 @@ " | " (a ([href ,(main-url page/rss)]) "rss") - ;;" | " - ;;(a ([href ,(main-url page/logout)]) "logout") - ))] + " | " + (a ([href ,(main-url page/login)]) "re-login") + + " | " + (a ([href ,(main-url page/logout)]) "logout")))] [else ""])) ,@xexpr-forest