Merge branch 'develop'

James Moger

2015-11-22 ed552ba47c02779c270ffd62841d6d1048dade70

 src/main/java/com/gitblit/transport/ssh/WelcomeShell.java

@@ -200,8 +200,8 @@
      }

      private String formatUrl(String hostname, int port, String username) {
         int displayPort = settings.getInteger(Keys.git.sshDisplayPort, port);
         String displayHostname = settings.getString(Keys.git.sshDisplayHost, "");
         int displayPort = settings.getInteger(Keys.git.sshAdvertisedPort, port);
         String displayHostname = settings.getString(Keys.git.sshAdvertisedHost, "");
         if(displayHostname.isEmpty()) {
            displayHostname = hostname;
         }