From 394af52f9aa150f89092acf830d96b6fee27ba72 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Wed, 03 Oct 2012 09:19:54 -0400 Subject: [PATCH] Hide some repository page header elements on phones and tablets --- src/com/gitblit/AuthenticationFilter.java | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/com/gitblit/AuthenticationFilter.java b/src/com/gitblit/AuthenticationFilter.java index 50a67a0..259991c 100644 --- a/src/com/gitblit/AuthenticationFilter.java +++ b/src/com/gitblit/AuthenticationFilter.java @@ -170,6 +170,7 @@ public AuthenticatedRequest(HttpServletRequest req) { super(req); user = new UserModel("anonymous"); + user.isAuthenticated = false; } UserModel getUser() { -- Gitblit v1.9.1