Rename SSH key store on user rename

James Moger

2014-04-10 f5ca1655278d8b34a402120864a5a5c628b1c31d

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

@@ -244,6 +244,7 @@
    */
   protected boolean download(String url) throws IOException {
      File pFolder = runtimeManager.getFileOrFolder(Keys.plugins.folder, "${baseFolder}/plugins");
      pFolder.mkdirs();
      File tmpFile = new File(pFolder, StringUtils.getSHA1(url) + ".tmp");
      if (tmpFile.exists()) {
         tmpFile.delete();