Merged #259 "Allow custom host & port specification for advertised SSH urls"

James Moger

2015-06-15 0805ff838562e3b19d31083d80762abcd0ebd106

 src/main/java/com/gitblit/manager/GitblitManager.java

@@ -662,6 +662,11 @@
   }

   @Override
   public UserModel authenticate(String username) {
      return authenticationManager.authenticate(username);
   }

   @Override
   public UserModel authenticate(HttpServletRequest httpRequest, boolean requiresCertificate) {
      UserModel user = authenticationManager.authenticate(httpRequest, requiresCertificate);
      if (user == null) {