Rename SSH key store on user rename

James Moger

2014-04-10 f5ca1655278d8b34a402120864a5a5c628b1c31d

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

@@ -79,6 +79,17 @@
      return null;
   }

   public final void renameUser(String oldName, String newName) {
      List<SshKey> keys = getKeys(oldName);
      if (keys == null || keys.isEmpty()) {
         return;
      }
      removeAllKeys(oldName);
      for (SshKey key : keys) {
         addKey(newName, key);
      }
   }

   protected abstract boolean isStale(String username);

   protected abstract List<SshKey> getKeysImpl(String username);