Track the SSH public key used for a session and add a `keys which` command

James Moger

2014-03-27 8d96b960e472433d2b4a5b71df7000bf1fbde648

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

@@ -116,7 +116,9 @@
    */
   @Override
   public boolean isServingRepositories() {
      return settings.getBoolean(Keys.git.enableGitServlet, true) || (settings.getInteger(Keys.git.daemonPort, 0) > 0);
      return settings.getBoolean(Keys.git.enableGitServlet, true)
            || (settings.getInteger(Keys.git.daemonPort, 0) > 0)
            || (settings.getInteger(Keys.git.sshPort, 0) > 0);
   }

   /**