Merge commit 'refs/tickets/08/8/3' of https://dev.gitblit.com/r/gitblit

James Moger

2014-02-19 b2775fefaafb0ce89094bdd4bb5308dbb90f487b

 src/main/java/com/gitblit/servlet/AuthenticationFilter.java

@@ -16,6 +16,8 @@
package com.gitblit.servlet;



import java.io.IOException;

import java.io.UnsupportedEncodingException;

import java.net.URLDecoder;

import java.security.Principal;

import java.util.Enumeration;

import java.util.HashMap;